Using Nc1cc(Cl)cc(Cl)c1S(N)(=O)=O, CC(C)N=C=S to produce CC(C)NC1=NS(=O)(=O)c2c(Cl)cc(Cl)cc2N1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.