题目描述

$Happy$ 老爷爷的外孙 $Jacky$ 能写会算，聪明绝顶，老爷爷非常喜欢他。$Jacky$ 最喜欢算 $24$ 点了，可是因为他的知识还不够，他只会做加法，减法和乘法，另外也会使用括号。这次外公给他出了一道难题：从 $N$ 张牌中任选若干张分成 $M$ 墩( 每墩不超过 $5$ 张牌)，使得每墩的各张牌都可以算出 $24$ 点。这本来并不困难，但是外公又要求 $M$ 的值最大，这可难坏了小 $Jacky$。你愿意帮帮他吗？

输入格式

共有两行，第一行包含一个数 $n$$(1 \le n \le 20)$ ,表示牌的张数。第二行有 $N$ 个数依次为各张牌的点数，每个数为 $1$~$10$ 的整数，以空格分开。

输出格式

仅有一个数为 $M$ 的最大值。

6
1 2 3 4 5 6

2

题目来源

曙光OI第四次比赛