Added header for cnf output file