1080_A. Petya and Origami_36632
Petya is having a party soon, and he has decided to invite his n friends.

He wants to make invitations in the form of origami. For each invitation, he needs two red sheets, five green sheets, and eight blue sheets. The store sells an infinite number of notebooks of each color, but each notebook consists of only one color with k sheets. That is, each notebook contains k sheets of either red, green, or blue.

Find the minimum number of notebooks that Petya needs to buy to invite all n of his friends.

Input

The first line contains two integers n and k (1≤ n, k≤ 10^8) — the number of Petya's friends and the number of sheets in each notebook respectively.

Output

Print one number — the minimum number of notebooks that Petya needs to buy.

Examples

Input


3 5


Output


10


Input


15 6


Output


38

Note

In the first example, we need 2 red notebooks, 3 green notebooks, and 5 blue notebooks.

In the second example, we need 5 red notebooks, 13 green notebooks, and 20 blue notebooks.
import java.util.*;
public class main 
{   
    public static void main(String args[]) 
    { 
       Scanner sc=new Scanner(System.in);
       int n,k;
       double r,g,b;
       n=sc.nextInt();
       k=sc.nextInt();
       r=1.0*n*2/k;
       g=1.0*n*5/k;
       b=1.0*n*8/k;
       System.out.print((int)(Math.ceil(r)+Math.ceil(g)+Math.ceil(b)));
    }
}
3 5
 15 6
 30931310 20
 51400703 5644
 96865066 63740710
 75431019 54776881
 64345128 22
 98979868 1
 53904449 44920372
 99784030 7525
 1 100000000
 90201151 4851
 92314891 81228036
 58064619 65614207
 100000000 1
 73317279 991
 47461256 62
 92130862 5
 48481739 28325725
 14231467 12711896
 31115339 39163052
 29484127 4488
 75246990 49
 72834750 9473
 1 4
 57880590 64
 20511976 7
 34034303 7162
 55950878 8318
 14047438 64
 17150431 3302
 100000000 3
 1 1
 86261704 74
 30931310 15
 67916332 5644
 96865066 41227564
 47659635 54776881
 123220292 22
 55262610 1
 53904449 53176588
 99784030 14731
 2 100000000
 98888466 4851
 92314891 159735014
 63521620 65614207
 100000010 1
 73317279 847
 47461256 88
 92130862 8
 63104998 28325725
 19478739 12711896
 14138243 39163052
 29484127 5734
 75246990 14
 72834750 10575
 1 7
 57880590 83
 20511976 10
 34034303 8605
 55950878 7840
 14047438 68
 9230003 3302
 101000000 3
 2 1
 46533151 74
 4 5
 15 5
 30931310 6
 50443975 5644
 101820281 41227564
 47659635 12028145
 45860799 22
 55262610 2
 36090855 53176588
 17018712 14731
 98888466 3373
 100010010 1
 118364806 847
 47461256 54
 92130862 1
 63104998 26516235
 29484127 10209
 69384243 14
 103616972 10575
 74368198 83
 38803974 10
 34034303 7141
 54797701 7840
 14047438 55
 9230003 1245
 101000000 2
 60193638 74
 16 5
 11474589 6
 14123322 5644
 110005484 41227564
 3005293 12028145
 17349766 22
 19390509 2
 17018712 4084
 123420612 3373
 92314891 126308874
 63521620 96212643
 19478739 22329904
 25414526 39163052
 4 1
 1 5
 37473715 53176588

10
 38
 23198483
 136609
 25
 22
 43871680
 1484698020
 20
 198906
 3
 278916
 19
 15
 1500000000
 1109749
 11482564
 276392587
 27
 18
 13
 98545
 23034794
 115332
 5
 13565765
 43954236
 71283
 100898
 3292370
 77910
 500000001
 15
 17485482
 30931311
 180501
 36
 14
 84013836
 828939150
 18
 101607
 3
 305779
 10
 15
 1500000150
 1298419
 8089988
 172745367
 35
 25
 6
 77130
 80621775
 103313
 4
 10460350
 30767965
 59329
 107050
 3098700
 41931
 505000002
 30
 9432396
 13
 45
 77328276
 134067
 38
 60
 31268728
 414469575
 12
 17331
 439767
 1500150150
 2096190
 13183684
 1381962930
 37
 43323
 74340261
 146976
 13440037
 58205962
 71493
 104845
 3831120
 111207
 757500000
 12201415
 49
 28686473
 37536
 42
 5
 11829387
 145428818
 62509
 548863
 12
 12
 14
 12
 60
 4
 12
