外公的难题

时间限制: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第四次比赛