instance: 20 variables, 91 clauses
verified: 91/91 clauses satisfied by a complete assignment