Talk:Hoffman's packing puzzle