NNF fixes, NNF to dimacs