boundary value problem subgroup of problem, 2 assertions
HasA 2
positive solution 0.68
at least one solution 0.36