0.25710701942444