added heuristic: not admissible for p9