Using OB(O)c1ccc(F)c(-c2ccc(F)cn2)c1, FC(F)(F)c1cnn2c(Br)cnc2n1 to produce Fc1ccc(-c2cc(-c3cnc4nc(C(F)(F)F)cnn34)ccc2F)nc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.