Sharpness conjecture for the complexity of non-orientable Seifert fibre spaces

Let $M=\left\{b;\left(\epsilon,g,(t,k)\right);\left(\ \mid \ \right); \left((p_1,q_1),\ldots,(p_r,q_r)\right)\right\}$ be a non-orientable closed irreducible and $\mathbb P^2$-irreducible Seifert fibre space. Complexity sharpness conjecture.

$$c(M)= 6(1-\chi)+6t+\sum_{j=1}^r \left(S(p_j,q_j)+1\right).$$

The conjecture asserts that the stated complexity formula is sharp for all non-orientable closed irreducible and $\mathbb P^2$-irreducible Seifert fibre spaces; the source notes that its sharpness holds in all known cases, but does not provide a resolution in general.