Upgrade satis
Merge pull request #431 from njam/issue-431

Upgrade satis