题目描述

周星星与法(fà)国赌神双方对峙不下，两方各有若干张牌（由于发牌有顺序，两方牌的数量可能不同）。

在扑克牌中，共有 $1\sim 13$ 种数字，每个数字对应有 $4$ 种花色，如果某个数字的花色超过了 $4$ 种，或者出现超过 $1\sim 13$ 范围的数字，都会被认为“出老千”。

法国赌神提出了“我要验牌”的要求，周星星可以发动超能力，每次将自己手中的一张牌进行变化，保证自己不会被发现“出老千”。同时保证法国赌神手中的牌没有出老千的情况。

询问周星星最少的发动超能力的次数，使得自己不会被验牌“出老千”。

输入格式

$2$ 行，每行 $13$ 个数字，第一行表示法国赌神手中每个数字的牌的花色数量、第二行表示周星星手中每个数字的牌的花色数量

输出格式

一个数字，表示周星星最少的发动超能力次数，能使得自己验牌成功。如果没有可能，输出 -1

输入输出样例

2 0 0 0 0 0 0 0 0 0 0 0 0
3 4 4 4 4 4 4 4 4 4 4 4 3

1

样例 $\tt \#1$说明

周星星将手中的 $1$ 变为 $13$ 即可

0 0 0 0 0 0 0 0 0 0 0 0 1
4 4 4 4 4 4 4 4 4 4 4 4 1

0

4 4 4 4 4 4 4 4 4 4 4 4 4
1 0 0 0 0 0 0 0 0 0 0 0 0

-1

数据范围

所有数据 $∈[0,4]$