#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < (n); i++)
using namespace std;
typedef long long ll;

int main(){
    int l, m, n;
    cin >> l >> m >> n;
    int lcnt, mcnt, ncnt;
    lcnt = l % 10;
    mcnt = (m % 4) + (l / 10);
    ncnt = (n % 10) + (m / 4);
    int cnt = lcnt + mcnt + ncnt;
    cout << cnt << endl;
    return 0;
}