0.712368313891758