Using O=C1COCC(CO)(c2cc(Br)ccc2F)N1, CCN(CC)S(F)(F)F to produce O=C1COCC(CF)(c2cc(Br)ccc2F)N1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.