BigIntegers replace int for truthValues.  Doesn't work for unsatisfiables for some reason.