Using COc1ccc(C=O)cc1, Cc1cc(C)c2c(c1O)C(=O)CC2 to produce COc1ccc(C=C2Cc3c(C)cc(C)c(O)c3C2=O)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.