#include<bits/stdc++.h>                                                                                   int main()
{
        int A,P;
        scanf("%d %d",&A,&P);
        printf("%d",(A*3 + P)/2);
        return 0;
}