Update SAT object

  - Add getClauseStr() into SATObject.py which converts a given clause into a readable string