Using O=Cc1ccc(O)cc1, FC(F)(F)c1cccc2c(Cl)ccnc12 to produce O=Cc1ccc(Oc2ccnc3c(C(F)(F)F)cccc23)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.