maximize min(9 - 3 P, 3 + 6 P)