Using CC1=CC2OC2C(C)(C)CC1=O, COc1ccc(CO)cc1 to produce COc1ccc(COC2C=C(C)C(=O)CC(C)(C)C2O)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.