Hanoi-10/12 for HTN