Program that solves sudoku puzzle using AC3 and backtracking writing in Python 2.7