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

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