Here is the partial problem space showing the solution for one initial state: