Most solves with x DNFs

Not necessarily solves in a row with x DNFs.

Not handling 'at most' option yet.