Using COC1=CCC2=C(CC[C@@H]3[C@@H]2CC[C@@]2(C)[C@H]3C[C@H]3C[C@]32OC)C1 to produce CO[C@@]12C[C@@H]1C[C@H]1[C@@H]3CCC4=C(CCC(=O)C4)[C@H]3CC[C@@]12C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.