ersatz-0.2: data/dimacs/parity/descr

All satisfiable