0.238888689814981020
=0.716666069444943