testes usando netgen.c, correcoes em dimacs2nr.py