QSAT in PSPACE Решение Иваничкина