如图，菱形ABCD的边长为8，∠BAD=60°，点E是AD上一动点（不与A、D重合），点F是CD上一动点，且AE+CF=8，则△DEF面积的最大值为.