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