still can't solve the hardest sudoku - brute force will take too long