Assertion list for term "solve the math problem".

Results from Ascent++: 1
miner CapableOfsolve the math problem 0.32