satisfiant