Fix SAT test
Merge pull request #465 from starwed/SAT-test

Fix SAT test