Modified the reduce algorithm to get actual sat assignment from MiniSat
MiniSAT automatically calculates the number of variables based on the largest literal value seen: Need to check to make sure we are still creating an efficient system. www.msoos.org/minisat-faq/