The theoretical prices of the deep out-of-the-money puts are absurdly cheap in any diffusive framework, but fall nicely in line as soon as a jump to default is introduced.
To derive this rate we observe that the theoretical price of a bond can be calculated as the present value of the cash flows to be received in the future.