0.25862407684326