ClassRoom

using System;

namespace ClassRoom
{
    class ClassRoom
    {
        static void Main(string[] args)
        {
            double h = double.Parse(Console.ReadLine());
            double w = double.Parse(Console.ReadLine());
            double roomRows = Math.Round(h/1.2);
            double deskArea = w - 1;
            double deskCount = Math.Round(deskArea / 0.7);
            Console.WriteLine(roomRows*deskCount-3);
        }
    }
}