automates.sats