small code snippet to crreate a dimacs file for a sudoku solver