Using Cc1c[nH]c2c1C(=O)C(C)(C)CC2, O=Cc1cc2c([nH]1)CCCC2 to produce Cc1cc2c([nH]1)CCC(C)(C)C2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.