Ignore cnf_input.txt