Using O=C1CN=C(n2cnc(C3CC3)n2)C=C2c3cccc(Br)c3CCN12, OB(O)c1ccc(F)nc1 to produce O=C1CN=C(n2cnc(C3CC3)n2)C=C2c3cccc(-c4ccc(F)nc4)c3CCN12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.