Using O=C([O-])c1cnc(C2CCN(c3ccccc3)CC2)s1, NCc1ccn2ccnc2c1 to produce O=C(NCc1ccn2ccnc2c1)c1cnc(C2CCN(c3ccccc3)CC2)s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.