ex3.sats