starting work on parser for DIMACS cnf format