Schönhardt_polyhedron loading ...