T12 in the 3x2x2 box, full model (expected UNSAT: y-sections have H_1 != 0):
{"dims": [3, 2, 2], "opts": {}, "fixed": true, "solver": "cadical195", "vars": 296, "clauses": 1493, "h1_clauses": 29, "result": "UNSAT", "build_s": 0.0, "solve_s": 0.0}
T12, model without the section-H_1 clauses (expected SAT):
{"dims": [3, 2, 2], "opts": {"h1": false}, "fixed": true, "solver": "cadical195", "vars": 296, "clauses": 1464, "h1_clauses": 0, "result": "SAT", "build_s": 0.0, "solve_s": 0.0, "check": {"consistent": true, "corners": 0, "sections_H1_zero": false, "chi": 1, "counts": [12, 19, 8, 0], "connected": true, "betti2": [1, 0, 0, 0]}, "solution_counts": [12, 19, 8, 0]}
