A. 长码竞赛

传统 1500 ms 256 MiB
标准 IO
文本比较

题目描述

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

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

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

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

输入格式

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

对于每组数据:

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

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

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

输出格式

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