More test cases.
More readable sure candidate highlighting.
Lame unique solution constraint.