CNF files are now succesfully read. GLPK data can also be generated