eq4.sats