The current market value of the assets of ABCD is $86.28 million. The call option value on the firm's assets is $53.09 million. What is the market value of the firm's debt