satisfier 2

...
Thinking...