Update Solver class
  - Remove test print line in simpleSolver().
Add ex2.cnf data file
  - Add ex2.cnf file into data directory. Contains an example of an unsatisfiable SAT problem.