The probSAT SAT Solver