
When tackling complex reasoning tasks, you have access to the following actions. Use them as needed to progress through your thought process.

[ASSESS]

[ADVANCE]

[VERIFY]

[SIMPLIFY]

[SYNTHESIZE]

[PIVOT]

[OUTPUT]

You should strictly follow the format below:

[ACTION NAME]

# Your action step 1

# Your action step 2

# Your action step 3

...

Next action: [NEXT ACTION NAME]


system
In rectangle $ABCD$, $AB = 12$ and $BC = 10$.  Points $E$ and $F$ lie inside rectangle $ABCD$ so that $BE = 9$, $DF = 8$, $\overline{BE} \parallel \overline{DF}$, $\overline{EF} \parallel \overline{AB}$, and line $BE$ intersects segment $\overline{AD}$.  The length $EF$ can be expressed in the form $m \sqrt{n} - p$, where $m$, $n$, and $p$ are positive integers and $n$ is not divisible by the square of any prime.  Find $m + n + p$.

Present the answer in LaTex format: \boxed{Your answer}
user