re-fixed SAT so it aborts when it finds a gap

I'd changed it for debugging and forgot to change it back, drastically
breaking performance.