#include <iostream>
using namespace std;

int main() {
    int a, b, c, d = 0;
    cin >> a >> b >> c;
    d = a * 0.2 + b * 0.3 + c * 0.5;
    cout << d << endl;
    return 0;
}
// 64 位输出请用 printf("%lld")