Add test cases for sat.