ATH can easily buy back 10% of shares and pay off debtATH can have its cake and eat it too. It's very possible to buy back 10% of shares and use the rest of their cash to pay off their debt. Buying back 10% of shares outstanding at 50 cents would only cost about $20 million. They'll still have about $235 million to make a huge dent in their debt. Also, WTI is above $61 right now, and if continues trending upwards in 2020 they'll have plenty of free cash flow next year to pay off their remaining debt.