0.25959992408752