Using O=C1CCC(=O)N1Br, Cc1ccc(Cl)c(Oc2cc(Cl)cc(Br)c2)c1F to produce Fc1c(CBr)ccc(Cl)c1Oc1cc(Cl)cc(Br)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.