Noah and Marin are married and file a joint return. They have AGI of $55,000. During 2022, they paid the following taxes: federal income tax withholding $13,000; state income tax withholding $4,000; Social Security and Medicare tax withholding $3,825; real estate tax on their personal residence $3,000; personal property tax on their automobiles based on value $100; real estate tax on a cottage they own in New England $4,000; and sales tax of $1,875. What is their deduction for taxes