The difficulty of deciding TWO PLAYER SAT_n parallels the difficulty of deciding winning strategies ...