Fix integritycheck SQL.
Another try to fix up priorities.
Fix misprint.
Start to write fully functional SAT solver.