在fpga中使用bin的方式求解sat问题