#include <iostream>
using namespace std;

int main() {
    int A, B, C, S;
    cin >> A >> B >> C;
    S = (A * 2 + B * 3 + C * 5) / 10;

    cout << S << endl;

    return 0;
}
// 64 位输出请用 printf("%lld")