p4q5r6.sats