Simplify test suite
Allow just SAT test for now