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

Upgrade satis