Upate SAT object

  - Add function to print out the all of the clauses in a readable format.