brute-force sudoku from '08