Some additional work.  Doesn't work at all on small CNF files