Coefficient-positivity conjecture for fully packed loop polynomials

Let $\pi$ be a matching and let $A_\pi(t)$ be its polynomial. Coefficient-positivity conjecture. Every coefficient of $A_\pi(t)$ is nonnegative. The conjecture is supported by computations for all matchings of size at most $8$, but remains unproved in general.