Banks are hoping to sell the X debt at around 90 to 95 cents on the dollar.