添加了cmp_log用于比较verilog与python的输出
修改了find_bkt_lvl和lit1，增加了一个sat_engine的实例6，用作回归测试。