Remove bug in sat implementation.