In 2015, Janet and Ray are married filing jointly. They have five dependent children under 18 years of age. Janet and Ray's taxable income is $140,000, and they itemize their deductions as follows: real property taxes of $5,000, state income taxes of $9,000, and mortgage interest expense of $15,000 (not a home-equity loan). What is Janet and Ray's AMT? Complete Form 6251 for Janet and Ray.