#include <iostream>
#include <cstring>
#define mem(x, k) ((x), (k), sizeof(x))
#define M 8010
using namespace std;
int g[M], G[M], x[4], u[4] = {0,1,2,5};
int main()
{
int n, i, l;
while (~scanf("%d%d%d", &x[1], &x[2], &x[3]))
{
if (x[1] + x[2] + x[3] == 0) break;
n = x[1] + x[2] * 2 + x[3] * 5;
for (i=0; i<=n; ++i)
{
G[i] = g[i] = 0;
}
G[0] = 1; l = 0;
for (i=1;i<=3;++i)
{
l += u[i] * x[i];
for (int j=0;j<=l;++j)
for (int k=0; k<=x[i]; ++k)
{
g[k*u[i]+j] += G[j];
}
for(int i=0; i<=l; ++i)
{
G[i] = g[i];
g[i] = 0;
}
}
for (i=1;i<=n;++i)
{
if (!G[i]) break;
}
printf("%d\n", i);
}
return 0;
}