Using O=C(O)c1cn2cc(C(F)(F)F)cc(Cl)c2n1, CCc1ccc(Cl)c(S(N)(=O)=O)c1 to produce CCc1ccc(Cl)c(S(=O)(=O)NC(=O)c2cn3cc(C(F)(F)F)cc(Cl)c3n2)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.