P q 3 p q 6 (17/48)

P q 3 p q 6