instance: 100 variables, 430 clauses
verified: 430/430 clauses satisfied by a complete assignment