4. (12 POINTS) Bobby and Ellen, who are married and file jointly, have 2017 Alternative Minimum Taxable Income of $115,000. Their 2017 regular taxable income amount is 580,000. Determine the amount of tax Bobby and Ellen will have to pay. Are they subject to the Alternative Minimum Tax