#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, m;
  while (cin >> n >> m) {
    int su = 0;
    su += (2 * n / m) + (2 * n % m > 0 ? 1 : 0);
    su += (5 * n / m) + (5 * n % m > 0 ? 1 : 0);
    su += (8 * n / m) + (8 * n % m > 0 ? 1 : 0);
    cout << su << '\n';
  }
  return 0;
}
