Using Cc1noc(C2CN(C(c3ccccc3)(c3ccccc3)c3ccccc3)C[NH+](C)C2)n1 to produce Cc1noc(C2CN=CN(C)C2)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.