SAT figures
Merge pull request #5 from alan-progsys/master

DPLL etc figures: RJ thanks!!