NagSAT; A Randomized Complete, Parallel Solver for 3-SAT