SAT solvers for use in $P^{NP}$ and $NP^{NP}$
We don't know that PH doesn't collapse to NP. We don't even know that PH doesn't collapse all the way to P.
The best you can say is that you can use SAT solvers to solve problems in one of these classes iff PH collapses to NP.