Hopefully works, bad heuristic means it takes forever and lots of node expansions to terminate