Using O=S(=O)(c1ccccc1)N(F)S(=O)(=O)c1ccccc1, Brc1cnn(C2CCN(Cc3ccccc3)CC2)c1 to produce Fc1c(Br)cnn1C1CCN(Cc2ccccc2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.