Implement a Brute Force Sudoku Solver
k (72 bytes)

Credit for this goes to Arthur Whitney, creator of the k language.

p,:3/:_(p:9\:!81)%3
s:{*(,x)(,/{@[x;y;:;]'&amp;21=x[&amp;|/p[;y]=p]?!10}')/&amp;~x}