Update SAT object

  - Change how 'varDict' is initiated in SAT.py.
Update SAT object

 Add function 'addMissingVarsToDic' to take care of the issue of accidently skipping over the variables never specified in file. Assumes that the number of variables is known.