a* debugging - something's wrong with the heuristic, apparently