Using COC(=O)c1cc(S(C)(=O)=O)c(Nc2cccc(S(F)(F)(F)(F)F)c2)cc1C, O=C([O-])O to produce COC(=O)c1cc(S(C)(=O)=O)c(N(C)c2cccc(S(F)(F)(F)(F)F)c2)cc1C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.