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