test_sat_engine.sv的测试用例2通过
修改了sat engnie的test case，使用多个文件分开表示
调试时可以使用cid和vid输出阵列的信息