Prove if 𝜑 is satisfiable then the Hamiltonian cycle is satisfiable.
𝜑 = (𝑥
̅̅̅1 ∨ 𝑥2 ∨ 𝑥3 ) ∧ (𝑥1 ∨ ̅̅̅
𝑥2 ∨ 𝑥3 ) ∧ (𝑥1 ∨ 𝑥2 ∨ 𝑥4 ) ∧ (𝑥
̅̅̅1 ∨ ̅̅̅
𝑥3 ∨ ̅̅̅)
𝑥4