[math-fun] number of sodoku squares ?