Using CS(C)(=N)=O, O=C(O)c1cc(Oc2ccc(C(F)(F)F)cc2Cl)ccc1Cl to produce CS(C)(=O)=NC(=O)c1cc(Oc2ccc(C(F)(F)F)cc2Cl)ccc1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.