Using O=C([O-])[O-], Oc1c(Cl)cc(S(F)(F)(F)(F)F)cc1Br to produce COc1c(Cl)cc(S(F)(F)(F)(F)F)cc1Br, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.