Sudoko Solver in Python