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