Using Oc1cccc(O)c1, COc1ccc(/C=C/C(=O)O)cc1O to produce COc1ccc([C@H]2CC(=O)Oc3cc(O)ccc32)cc1O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.