#include<bits/stdc++.h>
using namespace std;
int main(){
    int a;
    int b;
    cin>>a>>b;
    if(a * 2 < b){
        cout<<11*a;
    }else{
        cout<<a+5*b;
    }
    return 0;
}