Added Z3 SAT results.
Reworked to explain Sudoku architecture. Add Z3 SAT results.