#include <iostream>
using namespace std;
int main() {
    int x;
    cin >> x;

    int p;
    cin >> p;

    int c = ((p + x) / 2) * 7;
    cout << c << endl;

    return 0;
}