We don't need the last 0 from DIMACS