Sudoku in AWK in Chars Play Hole

1^st in AWK and 67^th overall.

Last tested 8 Dec 2025.

Runtime of 36ms.