Using Oc1ccc(/C=C2/c3cc(O)cc(O)c3[C@@H](c3ccc(O)cc3)[C@@H]2c2cc(O)cc(O)c2)cc1 to produce Oc1ccc(CC2=C(c3ccc(O)cc3)[C@@H](c3cc(O)cc(O)c3)c3c(O)cc(O)cc32)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.