0.5718232103672792