#547. 长码竞赛

在 5202 年，短码不再流行，取而代之的是长码，顾名思义，就是谁的代码写的最长谁的分数就最高。。。

在 5202 年 3 月 30 日，东南大学举办了第 233 届长码竞赛，Nanami 就参加了这届的比赛。不过，在比赛之前，她需要先用数字拼出长码竞赛的比赛日期才能参加比赛，长码竞赛的日期用纯数字写作 52020330。

为了完成这个任务，Nanami 拿来了一大袋数字，开始一个一个按顺序从袋子中取出数字。她一共抽出了 $n$ 个数字，数字 $a_i$ 是在第 $i$ 轮回中抽出的，拼日期时使用数字的顺序可以和数字被抽取的顺序不同。

Nanami 想知道，在抽出第几个数字后，她就可以成功拼出长码竞赛的日期，或者在她抽出所有的数字后，她仍然无法拼出日期。注意日期中的前导零必须显示，即她拼出的日期只能是 52020330。

第一行，一个整数 $t(1\le t\le 10^5)$，代表 Nanami 抽取数字的次数，每一次抽取都是独立的，不会影响其它的抽取。

对于每组数据：

第一行，一个整数 $n(1\le n \le 20)$，代表 Nanami 抽取数字的总数。

第二行，$n$ 个用空格隔开的整数 $a_i(0\le a_i\le 9)$，代表 Nanami 按照顺序抽取的数字。

本题对于同一测试点内 $n$ 的总和没有额外限制。

对于每组数据，输出一行整数，代表 Nanami 为了拼出长码竞赛的比赛日期所需要抽取数字的最小数量。如果所有数字都不足以拼出日期，那么输出 $-1$。

输入样例

4
8
5 2 0 2 0 3 3 0
7
5 2 0 2 0 3 3
10
5 2 0 2 0 3 2 0 3 0
16 
1 1 2 4 0 4 2 9 0 3 3 0 5 8 3 3

输出样例

8
-1
9
13