0.8719852446992875