Program now inputs and outputs cnf files