SAT-Accel: A Modern SAT Solver on a FPGA