A SAT instance:
Logic is the calculus of computer Science. The Logical Basis for Computer Programming Manna, Waldinger