Antonio is a small business owner and files jointly with his spouse. In 2019, he generates $100,000 of net profits from his business. His spouse, Maria, has $4,000 of state income tax withheld from her wages in 2019. They also pay $4,500 in property taxes on their home. Antonio determines that their state income taxes associated with his business are about $5,600 and makes estimated state income tax payments of that amount in 2019. How much should Antonio and Maria deduct for state taxes? 

a. Itemized deductions of $9,500 and deduct $5,600 for taxes on Antonio’s Schedule C for his business 

b. Itemized deductions of $10,000 and deduct $5,100 for taxes on Antonio’s Schedule C for his business 

c. Itemized deductions of $10,000 

d. Itemized deductions of $4,000 and deduct $5,600 for taxes on Antonio’s Schedule C for his business