SatExample compiles