#include<bits/stdc++.h>
#include<iostream>
using namespace std;
int m,n,i,j;
int main()
{
    scanf("%d%d",&m,&n);
    while(3*j+8*i<28)
    {
        if(j<n)
        {
            j++;
        }
        
        else
        {
            i++;
        }
    }
    printf("%d",3*j+8*i-28);
    return 0;
}