Using O=C1CC[C@@H]2CN(C3CN(C(c4ccccc4)c4ccccc4)C3)CCN12 to produce O=C1CC[C@@H]2CN(C3CNC3)CCN12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.