Description

在本题中，你不需要知道日本麻将的完整规则，你只需要知道以下几点：

• 日本麻将使用的牌是一万～九万、一索～九索、一饼～九饼、东风、南风、西风、北风、红中、绿发、白板各 $4$ 张，共 $34$ 种，$136$ 张。
• 每个人手中初始有 $13$ 张牌。
• 每次摸一张牌后，需要打出一张牌。
• 每次摸牌后，手牌数量将变为 $14$ 张，此时若构成可以和牌的牌型，则可以自摸和牌。

在日麻中，"国士无双"是一种常见的役满牌型，它是指由三种序数牌的幺、九牌，七种字牌共 $13$ 张中的 $12$ 个单张及 $1$ 对组成的和牌，即一万、九万、一索、九索、一饼、九饼、东风、南风、西风、北风、红中、绿发、白板这 $13$ 种牌手中都要有，且其中一种要有一对才能和牌。

revclos 正在打麻将，作为役满人，他想在本局中自摸和出"国士无双"！revclos 给你目前他手中一万、九万、一索、九索、一饼、九饼、东风、南风、西风、北风、红中、绿发、白板这 $13$ 种牌每种牌的数量，他想要知道：至少需要再摸多少次牌，才能自摸和出国士无双。

Input Format

输入 $13$ 个非负整数，分别表示 revclos 目前手中一万、九万、一索、九索、一饼、九饼、东风、南风、西风、北风、红中、绿发、白板这 $13$ 种牌的数量。

保证这些这 $13$ 个数均为 $0,1,2,3,4$ 其中之一，且它们的和不超过 $13$。

Output Format

输出一个整数，表示 revclos 要自摸和出国士无双至少需要的摸牌次数。

1 1 1 1 1 1 1 1 1 1 1 1 1

1

1 1 1 1 1 1 1 1 1 1 1 0 2

1

2 2 0 0 0 0 1 1 1 1 1 1 1

4