sat-rs example
======