Fixed bad bug in unsatisfy.