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