In 2020, Sven is single and has $120,000 of regular taxable income. He itemizes his deductions as follows: real property tax of $2,000, state income tax of $4,000, mortgage interest expense of $15,000 (acquisition debt of $300,000). He also has a positive AMT depreciation adjustment of $500. What is Sven’s alternative minimum taxable income (AMTI)? Complete Form 6251 (through line 4) for Sven.