first version of loading sat formulas in DIMACS CNF format