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

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