Fixing SAT