exercises.sats