List all the variables and their domains for this problem after applying unary constraints (domain reduction) only. (In this step we are not yet making any official variable assignments.) 2. Make a LCV assignment to the MRV variable and perform forward checking to prune the domains of the variables sharing a constraint with the assigned one. (Don’t forget about Alldiff constraints in addition to binary constraints). Indicate the variable you assigned and the remaining domains of the rest. 3. Repeat the procedure from the above step for the next MRV variable. 4. Find a binary constraint between the last two unassigned variables. Then, perform arc consistency so that you remove all invalid domain values. Finally, please make the remaining variable assignments and write the final solution.