Fixed SAT test system

Yay :D