Using OC1=C(O)[C@H](O)[C@@H]2OC[C@H]1O2, COc1ccc(C(=O)O)cc1 to produce COc1ccc(C(=O)O[C@@H]2C=C[C@H]3CO[C@@H]2O3)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.