Using Cc1nnc(-c2ccncc2)s1, Cn1c([N+](=O)[O-])cnc1C=O to produce Cn1c([N+](=O)[O-])cnc1C=Cc1nnc(-c2ccncc2)s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.