Using O=Cc1ccc(F)cc1C(F)(F)F, COc1ccc2c(O)c(-c3ccccc3)c(C)cc2c1 to produce Cc1cc2cc(O)ccc2c(Oc2ccc(C=O)c(C(F)(F)F)c2)c1-c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.