Fix
SAT results