cubic planar hypohamiltonian graph