Using O=C(CBr)c1ccc([N+](=O)[O-])cc1, Cc1cnc(N)s1 to produce Cc1cn2cc(-c3ccc([N+](=O)[O-])cc3)nc2s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.