Using O=C1NCc2c[n+](Cc3ccccc3)ccc2-c2ccccc21 to produce O=C1NCC2=C(CCN(Cc3ccccc3)C2)c2ccccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.