Using CC1(C)OB(c2cnn(C3C=CCCC3)c2)OC1(C)C, Cc1cc(Br)cc(Nc2nccc(C(F)F)n2)c1 to produce Cc1cc(Nc2nccc(C(F)F)n2)cc(-c2cnn(C3C=CCCC3)c2)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.