Award-winning Parallel SAT Solver