EF4.sats