Using C=CCC1C(=O)C=CC1(C)O, COc1ccc(CO)cc1OC to produce C=CCC1=C(C)C(OCc2ccc(OC)c(OC)c2)CC1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.