Kakuro Constraint Satisfaction. According to Wikipedia: Kakuro ... is a kind of logic puzzle that is often referred to as a mathematical transliteration of the crossword. ... The object of the puzzle is to insert a digit from 1 to 9 inclusive into each white cell such that the sum of the numbers in each entry matches the clue associated with it and that no digit is duplicated in any entry. Below are a Kakuro puzzle (left) and its solution (right). CSP = Constrained Satisfaction Problem For example, given the clue constraints, forward checking (FC) on the bottom-most cell in the right-most column of the puzzle above would yield {1,2} as the set of remaining digits. (a) [8 points] Given the clue constraints, perform FC for the two top-most cells and the bottommost cell in the left-most column of the puzzle. Enter your answers as small but legible numbers within each cell. (b) [6 points] Given the clue constraints and those answers, use FC on the remaining two empty cells in the left-most column. Again, enter your answers within each cell. (c) [6 points] Briefly describe how you'd use CSP methods to solve Kakuro puzzles intelligently