0.25711894035339