Using Cc1ccc(S(=O)(=O)O)cc1, CC1=C[C@]23C(=O)[C@@H](C=C(CO)[C@@H](O)[C@]2(O)[C@H]1O)[C@H]1[C@@H](C[C@H]3C)C1(C)C to produce CC1=CC23C(=O)C(C=C4COC(C)(C)O[C@H]4[C@]2(O)[C@H]1O)C1C(C[C@H]3C)C1(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.