Using OB(O)c1ccc(OC(F)(F)F)cc1, CC(=O)O[C@@H]1[C@@H](OC(C)=O)[C@H](OC(C)=O)CS[C@H]1Oc1cncc(Br)c1 to produce O[C@@H]1[C@@H](O)[C@H](Oc2cncc(-c3ccc(OC(F)(F)F)cc3)c2)SC[C@H]1O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.