blocked (triangle links ok, sphere certificate not True): 4149
4-spheres with 9 vertices found by exhaustive SAT enumeration: 337 (labelled certified solutions 5674, 13s)
BFS list size 337; identical to SAT list: True
