satsmt-examples