Tom and Denise, both age 45, are married and filed a joint income tax return for the tax year. Tom earned a salary of $70,000 in 2020. Tom and Denise earned interest of $5,000 in 2020 on their joint savings account. Denise is not employed, and the couple had no other income. What amount could Tom and Denise contribute to IRAs to take advantage of their maximum allowable IRA deduction on their 2020 tax return?