Fix a bug with the number of variable in the CNF output being off by one.
Fix a bug with the number of variable in the CNF output being off by one.

JElchison/Numberjack,eomahony/Numberjack,eomahony/Numberjack,eomahony/Numberjack,JElchison/Numberjack,JElchison/Numberjack,JElchison/Numberjack,eomahony/Numberjack,eomahony/Numberjack,JElchison/Numberjack