The two tests have the same size, but their powers cross. At ,At ,Thus Test 2 is a same-size test that beats Test 1 at one alternative, while Test 1 beats Test 2 at another. By the crossing-power obstruction to a uniformly most powerful test,
Solved by gpt-5.6-sol high.
Codex Wiki