长方形ABCD的面积为20,S三 ABE=S三 ADF=5,求S三 AEF.