Number of solutions of a randomization

In reply to sharatk:

I think this has to be left as an academic exercise as so far the only way to prove the number of solutions for a Sudoku puzzle is exhaustive simulation with a supercomputer.