#include <bits/stdc++.h>
using namespace std;
int n, a[3], visited[61][61][61];
int ap[6][3] = {
{1, 3, 9},
{1, 9, 3},
{3, 1, 9},
{3, 9, 1},
{9, 1, 3},
{9, 3, 1}
};
struct A {
int a, b, c;
};
queue<A> q;
int solve(int a, int b, int c){
q.push({a, b, c});
visited[a][b][c] = 1;
while(q.size()){
int a = q.front().a;
int b = q.front().b;
int c = q.front().c;
q.pop();
if(a == 0 && b == 0 && c == 0) break;
for(int i = 0; i < 6; i++){
int na = max(0, a - ap[i][0]);
int nb = max(0, b - ap[i][1]);
int nc = max(0, c - ap[i][2]);
if(visited[na][nb][nc]) continue;
visited[na][nb][nc] = visited[a][b][c] + 1;
solve(na, nb, nc);
}
}
return visited[0][0][0] - 1;
}
int main(){
cin >> n;
for(int i = 0; i < n; i++){
cin >> a[i];
}
cout << solve(a[0], a[1], a[2]) << '\n';
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CmludCBuLCBhWzNdLCB2aXNpdGVkWzYxXVs2MV1bNjFdOwppbnQgYXBbNl1bM10gPSB7CiAgICB7MSwgMywgOX0sCiAgICB7MSwgOSwgM30sCiAgICB7MywgMSwgOX0sCiAgICB7MywgOSwgMX0sCiAgICB7OSwgMSwgM30sCiAgICB7OSwgMywgMX0KfTsKCnN0cnVjdCBBIHsKICAgIGludCBhLCBiLCBjOwp9OwpxdWV1ZTxBPiBxOwoKaW50IHNvbHZlKGludCBhLCBpbnQgYiwgaW50IGMpewogICAgcS5wdXNoKHthLCBiLCBjfSk7CiAgICB2aXNpdGVkW2FdW2JdW2NdID0gMTsKICAgIHdoaWxlKHEuc2l6ZSgpKXsKICAgICAgICBpbnQgYSA9IHEuZnJvbnQoKS5hOwogICAgICAgIGludCBiID0gcS5mcm9udCgpLmI7CiAgICAgICAgaW50IGMgPSBxLmZyb250KCkuYzsKICAgICAgICBxLnBvcCgpOwogICAgICAgIAogICAgICAgIGlmKGEgPT0gMCAmJiBiID09IDAgJiYgYyA9PSAwKSBicmVhazsKICAgICAgICAKICAgICAgICBmb3IoaW50IGkgPSAwOyBpIDwgNjsgaSsrKXsKICAgICAgICAgICAgaW50IG5hID0gbWF4KDAsIGEgLSBhcFtpXVswXSk7CiAgICAgICAgICAgIGludCBuYiA9IG1heCgwLCBiIC0gYXBbaV1bMV0pOwogICAgICAgICAgICBpbnQgbmMgPSBtYXgoMCwgYyAtIGFwW2ldWzJdKTsKICAgICAgICAgICAgaWYodmlzaXRlZFtuYV1bbmJdW25jXSkgY29udGludWU7CiAgICAgICAgICAgIHZpc2l0ZWRbbmFdW25iXVtuY10gPSB2aXNpdGVkW2FdW2JdW2NdICsgMTsKICAgICAgICAgICAgc29sdmUobmEsIG5iLCBuYyk7CiAgICAgICAgfQogICAgfQogICAgcmV0dXJuIHZpc2l0ZWRbMF1bMF1bMF0gLSAxOwp9CgppbnQgbWFpbigpewogICAgY2luID4+IG47CiAgICBmb3IoaW50IGkgPSAwOyBpIDwgbjsgaSsrKXsKICAgICAgICBjaW4gPj4gYVtpXTsKICAgIH0KICAgIGNvdXQgPDwgc29sdmUoYVswXSwgYVsxXSwgYVsyXSkgPDwgJ1xuJzsKfQ==