In the diagram below, \overline{AD} and \overline{BE} are angle bisectors of \angle BAC and \angle ABC, respectively, and they intersect at T. We know that BD=12, AE=8, and BF=3+AE. Find AB.
+56 
