Initial State:
stack1: A B
stack2: C
stack3: 

Goal State:
stack1: A C
stack2: B
