长方形ABCD 中AB 为10,AD 为6三角形ADE的面积为12,三角形AEF 的面积为23,那么三角形的ABF的面积