eval for set of clauses
fix warnings with 2.10
naive sat solver