Using COC(=O)c1cc(C)c2c(c1C)C(O)CCS2(=O)=O, FC(F)(F)c1cc(Cl)cnc1Cl to produce COC(=O)c1cc(C)c2c(c1C)C(Oc1ncc(C(F)(F)F)cc1Cl)CCS2(=O)=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.