Distributed SAT-solver