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

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