Also, only the first, $12,500 of the overtime (filing SINGLE) as @Opus 17 calculates it would be deductible. Not ALL the calculated overtime is deductible.
There is a phaseout that begins at $150,000 of adjusted gross income (again filing SINGLE), which doesn't appear to be at issue in this case.
