Using O=C(O)c1c[nH]c(=O)cc1C(F)(F)F, COC(=O)CBr to produce COC(=O)Cn1cc(C(=O)O)c(C(F)(F)F)cc1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.