Output agrees with dimacs.