If one of them is an unknown variable, the problem is solved.
after an OP is applied to the stack specified in (3), the stack state becomes When the stack action selector has decided to push an operand, the operand selector aims at choosing which operand to push.