fix sat testcases