Suduko SAT solver