To use A* to solve MSUB44, one must supply a Supergraphs