Propositional Satisfiability Example, Williams 16.