Using Cc1c(C)c2c(c(C)c1O)C(C)(C)CC(=O)O2, CC(C)=O to produce CC1=C(C)C(=O)C(C(C)(C)CC(=O)O)=C(C)C1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.