Add fair strategy for finite model finding multiple sorts --uf-ss-fair.
Bug fix for previous commit
Changing the number of bits allocated per field in node values.