Using O=C([O-])[O-], C=C(C)CC1(c2ccccc2)CCN(C2(c3ccc(-c4ccnc(OC)c4)cc3)CC2)C(=O)O1 to produce C=C(C)CC1(c2ccccc2)CCN(C2(c3ccc(-c4ccn(C)c(=O)c4)cc3)CC2)C(=O)O1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.