2016_March_6 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)
        {
            var h = double.Parse(Console.ReadLine());
            var w = double.Parse(Console.ReadLine());

            var row = Math.Floor(h/1.2) ;
            var column = Math.Floor((w - 1) / 0.7);

            Console.WriteLine(column*row-3);

        }
    }
}