I think that the secured bondholders will get significant portions of the proceeds and senior unsecured not too much. The govt is working to stick it to bondholders. Not a great place to me IMO.
Suggest caution. If secured debt gets 50-90 cents on the dollar, the unsecured debt may only get 5-10 cents. JMO, I did not check to see how much of their debt is secured vs unsecured.
edit, I see that dave had similar and quicker advise along the same lines.