hexakistetrahedron
not defined yet