init
Merge https://github.com/i4han/sat