Reduction of 3-SAT to Hamiltonian Cycle.