satisfying

x