Print variables counting from 1 to match dimacs.