de4.sats