queens.clj erzeugt dimacs