Using NC(=S)Nc1cnccn1, CC(=O)Cc1ccc(S(N)(=O)=O)cc1 to produce Cc1nc(Nc2cnccn2)sc1-c1ccc(S(N)(=O)=O)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.