Using OB(O)c1cncnc1, NC1=N[C@@]2(CO1)c1cc(Br)ccc1Oc1c(F)cc(O)cc12 to produce NC1=N[C@@]2(CO1)c1cc(-c3cncnc3)ccc1Oc1c(F)cc(O)cc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.