[math-fun] packing tetrahedrons at 83%