Using NC1=N[C@@](c2cc(Br)ccc2F)(C(F)F)CCSC1, O=S(=O)([O-])O[O-] to produce NC1=N[C@@](c2cc(Br)ccc2F)(C(F)F)CCS(=O)(=O)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.