外公的难题
时间限制：3s 空间限制：128MB
题目描述
Happy老爷爷的外孙Jacky能写会算，聪明绝顶，老爷爷非常喜欢他。Jacky最喜欢算24点了，可是因为他的知识还不够，他只会做加法，减法和乘法，另外也会使用括号。这次外公给他出了一道难题：从N张牌中任选若干张分成M墩( 每墩不超过5张牌)，使得每墩的各张牌都可以算出24点。这本来并不困难，但是外公又要求M的值最大，这可难坏了小Jacky。你愿意帮帮他吗？
输入格式
共有两行，第一行包含一个数n(1<=n<=20),表示牌的张数。第二行有N个数依次为各张牌的点数，每个数为1~10的整数，以空格分开。
输出格式
仅有一个数为M的最大值．
样例输入
6 1 2 3 4 5 6
样例输出
2
提示
没有写明提示
题目来源
曙光OI第四次比赛