Description

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

Input

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

　
　　

Output

仅有一个数为M的最大值． 

Sample Input

Sample Output

Hint

Source