三角形ABC面积30,求AEF