栈S和队列Q的初始状态皆为空，元素a1，a2，a3，a4，a5和a6依次通过S栈，一个元素出栈后即进入队列Q，若6个元素出队列的顺序是a3，a4，a2，a1，a5，a6，则栈S至少应容纳( )个元素。