satisfying y