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