Advanced Number Theory · Hard problem

Square $ABCD$ has side $12$. Point $E$ lies on side $\overline{BC}$ with $BE = 4$, and point $F$ lies on side $\overline{CD}$ so that $\angle EAF = 45^\circ$. Find the area of triangle $AEF$.