getSatisfyingList()