Using CC(=O)C(Br)C(=O)Nc1ccc(C(F)(F)F)cc1, [C-]#N to produce C/C(O)=C(\C#N)C(=O)Nc1ccc(C(F)(F)F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.