Fpga Based Satisfiability Checking