Using O=[N+]([O-])c1ccc(Br)nc1C(F)(F)F, C1CC2CCC1N2 to produce O=[N+]([O-])c1ccc(N2C3CCC2CC3)nc1C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.