Fix issue with SC_SAT