Update Solver class
  - Fix Solver class so that simpleSolver() correctly gives a solution to the SAT object.