Re: [math-fun] packing tetrahedrons at 83%