Using CC(C)(C)[O-], CON(C)C(=O)[C@@H]1C[C@H]1c1ccccn1 to produce O=C(O)[C@@H]1C[C@H]1c1ccccn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.