小红作弊

题号：NC310808
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld

题目描述

$\hspace{15pt}$ 小红和小紫在玩扑克牌。小红和小紫手中总共有 $52$ 张牌，每张牌上都有一个数字（ $1 \sim 13$ ）。由于小红的牌是通过作弊得来的，为了防止小紫发现，她现在要保证两人的手牌中恰好有牌面为每个数字的牌各四张。
$\hspace{15pt}$ 为此，小红可以若干次将她自己手牌中的任意一张牌上的数字变化。小红想知道，他最少需要多少次变化才能不让小紫发现？
$\hspace{15pt}$ 特殊的，保证小紫的牌一定合法，即不存在牌面为同一个数字的牌超过四张。

输入描述:

第一行输入  个整数，第  个整数代表小红手中数字为  的手牌数量。
第二行输入  个整数，第  个整数代表小紫手中数字为  的手牌数量。
保证两人手牌中共有  张牌。

输出描述:

输出一个整数，代表小红最少需要的变化次数。

示例1

输入

复制

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 3

输出

复制

说明

两人一开始的手牌符合要求，不需要操作。

示例2

输入

复制

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

输出

复制

说明

小红操作一次将一张牌面为  的牌变为  即可。