只要努力飞翔，即使再弱小的蝴蝶也可以飞的很高
2575 - 外公的难题
Happy老爷爷的外孙Jacky能写会算，聪明绝顶，老爷爷非常喜欢他。Jacky最喜欢算24点了，可是因为他的知识还不够，他只会做加法，减法和乘法，另外也会使用括号。这次外公给他出了一道难题：从N张牌中任选若干张分成M墩( 每墩不超过5张牌)，使得每墩的各张牌都可以算出24点。这本来并不困难，但是外公又要求M的值最大，这可难坏了小Jacky。你愿意帮帮他吗？
Input
共有两行，第一行包含一个数n(1<=n<=20),表示牌的张数。第二行有N个数依次为各张牌的点数，每个数为1~10的整数，以空格分开。
Output
仅有一个数为M的最大值．
Examples
Input
6 1 2 3 4 5 6
Output
2