Using Cc1cc2c(cc1C=O)C(C)(C)[C@@H](C)[C@H](C)C2(C)C to produce Cc1cc2c(cc1CO)C(C)(C)[C@@H](C)[C@H](C)C2(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.