polyhedral nonhamiltonian graph