Added unit test code for testing SAT.