https://9dok.net/document/yev6rn2r-certifying-planning-systems-witnesses-for-unsolvability.html