请利用两个栈S1和S2来模拟一个队列。已知栈的三个运算定义如下：PUSH（ST，X）：元素X入ST栈；POP（ST，X）：ST栈顶元素出栈，赋给变量X；Sempty（ST）：判ST栈空否。那么如何用栈的运算来实现该队列的三个运算：enqueue：插入一个元素入队列；dequeue：删除一个元素出队列；queue_empty：判队列为空。（请写明算法的思想及必要的注释）

正确答案: