Using O=[N+]([O-])c1c(F)cc(Br)cc1F, c1cn[nH]c1 to produce O=[N+]([O-])c1c(F)cc(Br)cc1-n1cccn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.