Effective Kohn's conjecture on the order of subellipticity

Let $\Omega\subset\mathbb{C}^n$ be a bounded pseudoconvex domain with smooth boundary of finite type, and let $f=1$ be the trivial multiplier generated by Kohn's procedures. The order of subellipticity is the exponent $\varepsilon>0$ in the subelliptic estimate for the multiplier. Effective Kohn's conjecture. Kohn's conjecture holds under the same assumptions with an additional effective estimate of the order of subellipticity of the multiplier $f=1$ as a function of the finite type and the dimension $n$. The stronger effective assertion remains open even for real-analytic boundaries, where finite generation of the trivial multiplier is known.