Pushing changes to the 3SAT code - where is the bug?