0.8430769443512