added example cnf file in DIMACS format