Fix first line in dimacs format export
treedbdd1923f4209afa57a36c7f34a6e2e3e48922a1
-rw-r--r-- 16 .gitignore
-rw-r--r-- 60 Makefile
-rw-r--r-- 1352 asdf-component-shared-unix-library.asd
-rw-r--r-- 2270 backend.lisp
drwxr-xr-x - backends
-rw-r--r-- 3513 dimacs.lisp
-rw-r--r-- 1824 package.lisp
-rw-r--r-- 2120 satwrap.asd
-rw-r--r-- 8514 satwrap.lisp