q3r4s5t.sats