if a heuristic is admissible, it is also consistent