ex9.sats