Parallel and Distributed SAT solver