zf4.sats