3_4.sats