Using C=C1C[C@H]2[C@@H]3CCC(=O)[C@@]3(C)CC[C@@H]2[C@]2(C)C1=CC(=O)[C@H]1CC12, [OH-] to produce C=C1C[C@H]2[C@@H]3CCC(=O)[C@@]3(C)CC[C@@H]2[C@@]2(C)C3C[C@@H]3C(=O)C3OC132, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.