SAT now working correctly