Ascent++
Search
saturated solution
subgroup of
solution
,
1
assertions
IsA
1
solution
0.25