9.715063382728644115e+00