Robert is a single taxpayer who has AGI of $145,000 in 2021; his taxable income is $122,000. What is his federal tax liability for 2021?