Problem: The manager of the Japanese sweets shop Tomogurido in Aizuwakamatsu City is a very skillful craftsman, but he feels a little mood. The buns made by the manager are very delicious, but the size varies depending on the mood at that time.

The store manager's wife, who couldn't see it, came up with the idea of ​​packing buns of different sizes and weights in a bag for sale. If you pack the buns in a bag so that they have a certain weight, you can sell them at a fixed price even if they are different in size, and there is also a surprise that you do not know what kind of buns are in until you open it. It may be for sale. When it was put on the market under the name of "Dismembered Manju", a new idea became a hot topic and Tomokuri-do quickly became popular. However, there was a problem, and the number of "separate buns" that could be made changed depending on how the buns were put in the bag, which sometimes caused waste. When you came to Tomokuri-do as a part-time job, you decided to create a program to pack it in a bag without waste.

There are 9 types of buns weighing 1 to 9. When packing in a bag, pack so that the total weight of the buns is exactly 10. The combination of buns is 1 + 1 + 2 + 4 + 2 = 10 or 1 + 1 + 1 + 1 + 1 + 5 = 10, and you can use any number of buns of the same weight.

Enter the information on the number of buns to be made and the weight of the buns, and create a program that outputs the maximum number of "separate buns" that can be made.



input

Given multiple datasets. The end of the input is indicated by a single zero. Each dataset is given in the following format:


n
m1 m2 ... mn


The number of buns n (2 ≤ n ≤ 100) is given on the first line. The second line gives the weight mi (1 ≤ mi ≤ 9) for each bun.

The number of datasets does not exceed 100.

output

For each dataset, the maximum number of "disjoint buns" that could be packed is output on one line.

Example

Input

5
4 9 1 3 8
10
8 5 3 6 2 1 4 5 4 5
9
5 7 3 8 2 9 6 4 1
0


Output

1
4
4

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;

map< pair<int,long long>, int>  dp;
vector< long long > e;

void gen_pattern(int pos,int r,long long v){
    if( pos >= 10 ){
        if( r == 0 ){
            e.push_back( v );
        }
        return;
    }
    for(int i = 0 ; r - pos * i >= 0 ; i++){
        gen_pattern(pos+1,r - pos*i,v+((long long)(i)<<((pos-1)*7)));
    }
}

int dfs(int pos,long long v){
    if( pos >= e.size() ) return 0;
    if( dp.count(make_pair(pos,v)) ) return dp[make_pair(pos,v)];
    long long V = v;
    int ans = 0 , c = 0;
    while(1){
        ans = max( dfs(pos+1,v) + c , ans);
        c++;
        bool f = true;
        for(int i = 0 ; i < 9 ; i++){
            int s = v >> (7*i) & 127;
            int x = e[pos] >> (7*i) & 127;
            if( s < x ){
                f = false;
                break;
            }
        }
        if( !f ) break;
        v -= e[pos];
    }
    v = V;
    return dp[make_pair(pos,V)] = ans;
}



int main(){
    int n;
    gen_pattern(1,10,0);
    while(cin >> n && n){
        vector<char> v(10);
        for(int i = 0 ; i < n ; i++){
            int t;
            cin >> t;
            v[t]++;
        }
        int greedy = 0;
        for(int i = 1 ; i < 5 ; i++){
            int u = min(v[i],v[10-i]);
            greedy += u;
            v[i] -= u;
            v[10-i] -= u;
        }
        greedy += v[5] / 2;
        v[5] %= 2;
        long long enc = 0;
        for(int i = 1 ; i < 10 ; i++){
            enc += (long long)(v[i]) << (7 * (i-1));
        }
        dp.clear();
        cout << dfs(0,enc)+greedy << endl;
    }
}