instance: 30 variables, 130 clauses
verified: 130/130 clauses satisfied by a complete assignment