Given the following cryptarithmetic problem: T W O + T W O = FOUR

with the following information: Variables: F, T, O, W, U, R X1, X2, X3 Domains: {0, 1, 2, 3, 4, 5, 6, 8, 9} {0, 1} Constraints - Alldiff (F,T,U,W,R,O) -O + O = R + 10 X1 - X1 + W + W = U + 10 X2 - X2 + T + T = O + 10 X3 - X3 = F, T 0, F 0 a. (5 points) Draw the constraint graph b. (15 points) Solve show your work