SodukuSolver in python