Assertion list for term "solve given problem".

Results from Ascent++: 1
algorithm CapableOfsolve given problem 0.36