PK S a/UT aPK S a/bUT aPK PK S a/b/UT aPK S a/b/cUT aPK PK S a/UT aPK S ) a/bUT aPK S c a/b/UT aPK S a/b/cUT aPK