Using O=C=O, CN1CCN([C@H]2CCc3cc(Br)ccc32)CC1 to produce CN1CCN([C@H]2CCc3cc(C(=O)O)ccc32)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.