Using CC(=O)OC(C)=O, COc1ccc(CC(=O)c2ccc(O)c(C)c2O)cc1 to produce COc1ccc(C2=C(C)Oc3c(ccc(O)c3C)C2O)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.