ex4.sats