#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")