Fix Trac #2321: bug in SAT