hanoi solver; simple tac