Create hanoi-12.pddl