Using O=C([O-])/C=C/C(=O)[O-], OC1CCN(c2ccccc2)C12CCN(C1CCC3CCCc4cccc1c43)CC2 to produce O=C1CCN(c2ccccc2)C12CCN(C1CCC3CCCc4cccc1c43)CC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.