Using OC1(c2cccnc2)CCC2(CCN(Cc3ccccc3)C2)CC1 to produce C1=C(c2cccnc2)CCC2(C1)CCN(Cc1ccccc1)C2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.