Update SAT object

  - Update SATObject.py so it now reads all data from CNF file.
  - Removed the need to check if variable is in dictionary (assumed that the number variables are [1,2..n] where n is the number of variables.