Make SAT debugging less expensive