how much foreign tax are we talking about. you may be able to claim the foreign tax credit without needing to file form 1116. if not required, the amt credit will be the same as the regular tax credit.
https://www.irs.gov/pub/irs-pdf/i1116.pdf
