sat_engine通过了一个无冲突的测试用例