0.80143809318542