Fix SAT test