Update SATObject

  - Fix a couple bugs in SATObject.py and now works in reading in a line for a clause.