Using OB(O)c1ccccc1C(F)(F)F, Cn1cc(Br)c(NC(=O)c2cnn3cccnc23)n1 to produce Cn1cc(-c2ccccc2C(F)(F)F)c(NC(=O)c2cnn3cccnc23)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.