Finished partial changes to ThreeSatDecision.