Sudoku solver in python