q1r2s3.sats