SAT Fairness