Which of the following programs is most likely to benefit from the use of a heuristic?