Using O=S(=O)(Cl)c1ccccc1, O=C1NCc2c[nH]c3cccc1c23 to produce O=C1NCc2cn(S(=O)(=O)c3ccccc3)c3cccc1c23, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.