There are only twelve 4x4 sudokus - and a cool trick for finding minimal subsets | TickerVault