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