Question A

A magic square is a 3x3 square, where each cell contains a distinct number from 1 to 9, so that each row, column and diagonal sum up to 15.

a) Formulate the problem of constructing such a magic square as a constraint satisfaction problem.

b) Solve the problem using consistency checking and search, assuming that your search has already assigned the following value:

	5