#include <bits/stdc++.h>
using namespace std;
long long n, k;
long long dilraba;
void nhap() { cin >> n >> k; }
void xuat() { cout << dilraba; }
void xuli() {
  dilraba = (n * 2) / k + 1 * ((n * 2) % k != 0) + (n * 5) / k +
            1 * ((n * 5) % k != 0) + (n * 8) / k + 1 * ((n * 8) % k != 0);
}
int main() {
  nhap();
  xuli();
  xuat();
}
