Progress with the Sudoku benchmark.