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

namespace gsdsg
{
    class Program
    {
        static void Main(string[] args)
        {
            string season = Console.ReadLine();
            var kmpermonth = double.Parse(Console.ReadLine());

            if ((season == "Spring" || season == "Autumn") && kmpermonth <= 5000)
            {
                double selary = kmpermonth * 0.75;
                double taxes = selary * 4 * 0.9;
                Console.WriteLine($"{taxes:f2}");
            }
            else if ((season == "Spring" || season == "Autumn") && kmpermonth > 5000 && kmpermonth <= 10000)
            {
                double selary = kmpermonth * 0.95;
                double taxes = selary * 4 * 0.9;
                Console.WriteLine($"{taxes:f2}");
            }
            else if ((season == "Spring" || season == "Autumn") && kmpermonth <= 20000)
            {
                double selary = kmpermonth * 1.45;
                double taxes = selary * 4 * 0.9;
                Console.WriteLine($"{taxes:f2}");
            }
            if (season == "Summer" && kmpermonth <= 5000)
            {
                double selary = kmpermonth * 0.90;
                double taxes = selary * 4 * 0.9;
                Console.WriteLine($"{taxes:f2}");
            }
            else if (season == "Summer" && kmpermonth > 5000 && kmpermonth <= 10000)
            {
                double selary = kmpermonth * 1.10;
                double taxes = selary * 4 * 0.9;
                Console.WriteLine($"{taxes:f2}");
            }
            else if (season == "Summer" && kmpermonth > 10000 && kmpermonth <= 20000)
            {
                double selary = kmpermonth * 1.45;
                double taxes = selary * 4 * 0.9;
                Console.WriteLine($"{taxes:f2}");
            }
            else if (season == "Winter" && kmpermonth <= 5000)
            {
                double selary = kmpermonth * 1.05;
                double taxes = selary * 4 * 0.9;
                Console.WriteLine($"{taxes:f2}");
            }
            else if (season == "Winter" && kmpermonth > 5000 && kmpermonth <= 10000)
            {
                double selary = kmpermonth * 1.25;
                double taxes = selary * 4 * 0.9;
                Console.WriteLine($"{taxes:f2}");
            }
            else if (season == "Winter" && kmpermonth > 10000 && kmpermonth <= 20000)
            {
                double selary = kmpermonth * 1.45;
                double taxes = selary * 4 * 0.9;
                Console.WriteLine($"{taxes:f2}");
            }
        }
    }
}