sat(??P)