Using COc1cc(/C=C/C(C)=O)ccc1O, O=Cc1ccc(OC(F)(F)F)cc1 to produce COc1cc(/C=C/C(=O)/C=C/c2ccc(OC(F)(F)F)cc2)ccc1O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.