s

#include <bits/stdc++.h> 
using namespace std; 
int main()  
{ 
   int n,m; 
   cin>>n>>m; 
   int x=0; 
   while(n+x<min(756,m+x/4))  
{ 
       x++; 
   } 
   cout<<n+x<<endl; 
   return 0; 
}