"satisfying" -
key terms from Wikipedia
satisfying
satisfying
assignments
satisfying
the
initial
condition