Using O=c1cc(O)c2ccccc2o1, CC(C)CC(O)c1ccccc1 to produce CC(C)CC(c1ccccc1)c1c(O)c2ccccc2oc1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.