How to arrive at that probability 👇

P = 1 - e^[(-S*t)/( 1-R)]

(Risk-neutral default probability following Hull & White (2000))

R is the recovery rate and equal to 0.4 in our case

S is the spread and equal to 0.0766

t=5 and represents time to maturity

-> P ≈ 47%