#include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define REP(i,a,n) for(int i=(a); i<(int)(n); i++) #define rep(i,n) REP(i,0,n) #define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it) #define ALLOF(c) (c).begin(), (c).end() typedef long long ll; int ret; void dfs(int t, int P, int L, int M, int N){ if(t==0){ dfs(t+1, P, L, M, N); while(N>=25){ N-=25; M++; dfs(t+1, P, L, M, N); } } if(t==1){ dfs(t+1, P, L, M, N); while(M>=4){ M-=4; L++; dfs(t+1, P, L, M, N); } } if(t==2){ dfs(t+1, P, L, M, N); while(L>=10){ L-=10; P++; dfs(t+1, P, L, M, N); } } if(t==3){ ret = min(ret, L+M+N); } } int main(){ int L, M, N; cin >> L; cin >> M; cin >> N; ret = 100000000; dfs(0, 0, L, M, N); cout << ret << endl; return 0; }