Example: 9PL bound to 3T3Q