Using O=C([O-])O, CN(C)/N=C(/CC(CF)(N[S@](=O)C(C)(C)C)c1cccc(Br)c1)C(F)(F)F to produce CC(C)(C)[S@@](=O)NC(CF)(CC(=O)C(F)(F)F)c1cccc(Br)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.