Initial State:
stack1: A
stack2: B
stack3: 

Goal State:
stack1: A
stack2: B
