Training Lab

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace Training_Lab
{
    class Program
    {
        static void Main(string[] args)
        {
            double w = double.Parse(Console.ReadLine());
            double h = double.Parse(Console.ReadLine());
            double rows = w / 1.2;
            rows = Math.Floor(rows);
            double cols = (h - 1.0) / 0.7;
            cols = Math.Floor(cols);
            double NumberOfWorkPlaces = rows * cols-3;
            Console.WriteLine(NumberOfWorkPlaces);
        }
    }
}