using System;

namespace TradeCommissions
{
    class Program
    {
        static void Main(string[] args)
        {
            string town = Console.ReadLine();
            double seelings = double.Parse(Console.ReadLine());
            double price = 0;
            if (town == "Sofia")
            {
                if (seelings >= 0 && seelings <= 500)
                {
                    price = seelings * 0.05;
                }
                else if (seelings > 500 && seelings <= 1000)
                {
                    price = seelings * 0.07;
                }
                else if (seelings > 1000 && seelings <= 10000)
                {
                    price = seelings * 0.08;
                }
                else if (seelings > 10000)
                {
                    price = seelings * 0.12;
                }
            }
            else if (town == "Varna")
            {
                if (seelings >= 0 && seelings <= 500)
                {
                    price = seelings * 0.045;
                }
                else if (seelings > 500 && seelings <= 1000)
                {
                    price = seelings * 0.075;
                }
                else if (seelings > 1000 && seelings <= 10000)
                {
                    price = seelings * 0.10;
                }
                else if (seelings > 10000)
                {
                    price = seelings * 0.13;
                }
            }
            else if (town == "Plovdiv")
            {
                if (seelings >= 0 && seelings <= 500)
                {
                    price = seelings * 0.055;
                }
                else if (seelings > 500 && seelings <= 1000)
                {
                    price = seelings * 0.08;
                }
                else if (seelings > 1000 && seelings <= 10000)
                {
                    price = seelings * 0.12;
                }
                else if (seelings > 10000)
                {
                    price = seelings * 0.145;
                }
            }
            else
            {
                Console.WriteLine("error");
            }
            Console.WriteLine($"{price:f2}");
        }
    }
}