Update SAT object

  - Changed 'getFromFile()' method to a full classmethod/alternative constructor.