Using O=N[O-], Cc1cnc(Cn2c(N)cc(=O)[nH]c2=S)cn1 to produce Cc1cnc(Cn2c(N)c(N)c(=O)[nH]c2=S)cn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.