MathNet 2022-part-06 — 196 problems (EN–VI) Question 84

In a plane, equilateral triangle $A B C$, square $B C D E$, and regular dodecagon $D E F G H I J K L M N O$ each have side length $1$ and do not overlap. Find the area of the circumcircle of $\triangle A F N$.