Soduko solver in Python