eager eager
fix potential bug with threshold
split theory and decision requests
sat --favor-internal=(factor as double)