fixing issue with dimacs - re neg of literal