z4q.sats