Add fair strategy for finite model finding multiple sorts --uf-ss-fair.