Puzzles solved by awk