Add multithreading support for sat solver.
Remove bug in sat implementation.
Seperate multithreaded from singlethreaded example of sudoku.