In 2023, 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, and mortgage interest expense of $15,000 (acquisition debt of $300,000). He also has a positive AMT depreciation adjustment of $500. What is Svens alternative minimum taxable (AMTI)? Complete form 6251 (through line 4) for Sven.