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

namespace YukiCoder
{
    class Program
    {
        static void Main(string[] args)
        {
            var va = Console.ReadLine().Split().Select(double.Parse).ToArray();
            var nk = (int)(va[0] * 50 * (1 + 1 / (0.8 + 0.2 * va[1])));
            Console.WriteLine(nk);
            Console.ReadLine();
        }
    }
}