>>959 には一ヶ所、余弦定理に入れる B の値にミスがある？
誤 cos(b)=cos(8/x)*cos(12/x)+sin(8/x)*sin(12/x)*cos(pi*2/9)
正 cos(b)=cos(8/x)*cos(12/x)+sin(8/x)*sin(12/x)*cos(pi/3)

すると自分と同じ値が出るかも。
ちなみに、球面三角形の内角を定義するあたりが高校範囲外たる理由だと思われる