Check out Sudoku Solver in 100 lines of code. We probably have the solution already