when reading dimacs, the last variable in the clause is ignored (to avoid hard coding 0 or 1)
default prefix should be empty