Using N=C(N)c1cccs1, NNC(=O)c1nc(-c2cccnc2)cnc1N to produce Nc1ncc(-c2cccnc2)nc1-c1nnc(-c2cccs2)[nH]1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.