[math-fun] Dodecahedron packing conjecture