My research - no IRS limit for a separate return - just $7100 total for family coverage. Not exceeding that since spouse will not use any of that $7100 max. So should be okay to override line 6, right?