0.72700786590576