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