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