Re: [math-fun] packing 7x11x13 box puzzle