Al owned a family high-deductible health policy as part of his MSA for the entire year. What is his maximum permitted contribution to the MSA in 2020 if his deductible is $5,000?