#2575. 外公的难题

内存限制:128 MiB 时间限制:3 Sec

题目描述

   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

数据范围与提示