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