Mikey and Sal, married taxpayers filing a joint return, paid state income tax of $12,000 and other itemized deductions of $15,000 in 2020. Because the total of their allowable itemized deductions exceeded the standard deduction, they elected to itemize deductions on their 2020 federal income tax return rather than to claim the standard deduction. In May 2021, Mikey and Sal receive a refund of $1,000 for overpaid state income taxes paid in 2020. Under the tax benefit rule, how much of the $1,000 refund must they include in their gross income for 2021?

		$400
		$800
		$1,000
		$0
		$200