Pushed changes to the SAT report. Need to document the algorithms and start to run the experiments.