Does full year coverage need to be checked for RI 1040NR? Line 15b. My return won’t file if it is checked or unchecked.

I lived and worked outside the USA for the entire year and had health coverage in the UK. The directions for the Ri 1040NR state to not check box 15b. It rejects either way, turbo tax does not seem to have the update for 2020