Reconfigurable Hardware SAT Solver