Update SAT object

  - Update SAT class to use the variable and literal operations within other class methods.