Using O=C1c2ccccc2C(=O)N1c1ccc(CBr)c(F)c1, [C-]#N to produce N#CCc1ccc(N2C(=O)c3ccccc3C2=O)cc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.