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

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