Create hanoi12.pddl