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