What are the possible outcomes of the arc consistency algorithm?
At least one domain could be empty, in which case there is no solution. Each domain could have a single value, in which case there is a unique solution. Or some domains could have multiple values.