Using Brc1ccc(C(c2ccccc2)(c2ccccc2)n2cccn2)cc1, OB(O)c1ccc(F)cc1 to produce Fc1ccc(-c2cnn(C(c3ccccc3)(c3ccccc3)c3ccccc3)c2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.