Using OB(O)c1cc(F)ccc1F, CN1C(=O)C(c2ccncc2)(c2cccc(Br)c2)N=C1N to produce CN1C(=O)C(c2ccncc2)(c2cccc(-c3cc(F)ccc3F)c2)N=C1N, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.