8-pulzz A-search bfs-travell hanoi water-jug wolframalpha