Fixed bugs in the ThreeSat programs.