Middle Levels Theorem, Odd Graph Hamiltonicity And Satisfiability Sampling