Using O=C(Cl)C(Oc1cccc(C(F)(F)F)c1)c1ccc(Cl)cc1, CS(N)(=O)=O to produce CS(=O)(=O)NC(=O)C(Oc1cccc(C(F)(F)F)c1)c1ccc(Cl)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.