0.25719785690308