- updated and added tests
- code cleanup
- added comments
- small changes to DPLL for unsatisifable