Assertion list for term "only one solution".

Results from Ascent++: 1
puzzle HasAonly one solution 0.62