完成test_sat_bin的编写，正在模拟调试3个bin的sat例子