Assertion list for term "20 vertices".

Results from Ascent++: 1
dodecahedron HasA20 vertices 0.68