Um resolvedor automático de Sudoku – em AWK