does line 3 contains an extra $1000 ($8750 rather than the normal $7750)
if it does, this is wrong according to IRS instructions for line 3. see below
with family coverage the extra $1000 goes on line 7
