Initial State:
stack1: 
stack2: B E
stack3: C F D
stack4: A

Goal State:
stack1: A B F
stack2: C
stack3: D E
