37x - Zadanie Sudoku musí mať aspoň 17 číslic, dokázali vedci počítačovým dôkazom