Using F[B-](F)(F)F, CC1(C)CCc2nc3cc(Br)ccc3c(=O)n2C1 to produce CC1(C)CC(F)c2nc3cc(Br)ccc3c(=O)n2C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.