Wie lange braucht man für ein schweres Sudoku?