Corrected a bug in sat resulting in better efficiency + started backjump
The implication graph has to be rewritten though