added option to read and write CNF SAT (DIMACS format) problems