As the author mentioned, it cannot solve any boards where all unfilled cells have more than one possible value within the cell's domain. More information about the algorithm here:
https://en.wikipedia.org/wiki/AC-3_algorithm
You would need to implement something like forward checking or backtracking algorithm to solve all possible boards with higher cost.