Полиномиальная иерархия/Задачи/NP^SAT=\Sigma^p 2