Using N#C/C(C(N)=S)=C(/N)c1ccc([N+](=O)[O-])cc1 to produce N#Cc1c(-c2ccc([N+](=O)[O-])cc2)nsc1N, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.