updated satis dependencies

Hi,
I updated satisfy to require the last satis dependencies.
Everything seems to work.
Here's the PR.