using System;

namespace AtCoder
{
    class Class1
    {
        static void Main(string[] args)
        {
            byte A, P;

            string[] input = Console.ReadLine().Split(' ');

            A = byte.Parse(input[0]);
            P = byte.Parse(input[1]);

            A = (byte)(A * 3);
            P = (byte)(P + A);

            Console.WriteLine(P / 2);

        }
    }
}
