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