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

namespace Truck_Driver
{
	class Program
	{
		static void Main(string[] args)
		{
			string season = Console.ReadLine();
			double Kilometers = double.Parse(Console.ReadLine());
			var PriceKilometers = 0.0;
			
			if (season== "Spring"||season== "Autumn")
			{
				if (Kilometers <= 5000)
				{
					PriceKilometers = Kilometers * 0.75;
					
				}
				else if (Kilometers > 5000 || Kilometers <= 10000)
				{
					PriceKilometers = Kilometers * 0.95;
					
				}
				else if (Kilometers > 10000|| Kilometers <= 20000)
				{
					PriceKilometers = Kilometers * 1.45;
					
				}
			}
			else if (season== "Summer")
			{
				if (Kilometers <= 5000)
				{
					PriceKilometers = Kilometers * 0.90;
					
				}
				else if (Kilometers > 5000 || Kilometers <= 10000)
				{
					PriceKilometers = Kilometers * 1.10;
					
				}
				else if (Kilometers > 10000 || Kilometers <= 20000)
				{
					PriceKilometers = Kilometers * 1.45;
					
				}
			}
			else if (season== "Winter")
			{
				if (Kilometers <= 5000)
				{
					PriceKilometers = Kilometers * 1.05;
					
				}
				else if (Kilometers > 5000 || Kilometers <= 10000)
				{
					PriceKilometers = Kilometers * 1.25;
					
				}
				else if (Kilometers > 10000 || Kilometers <= 20000)
				{
					PriceKilometers = Kilometers * 1.45;
					
				}
			}
			var TotalKilometer = PriceKilometers * 4;
			var Taxes = (TotalKilometer * 10)/100;
			
			var TotalPrice = TotalKilometer-Taxes;
			


			Console.WriteLine($"{TotalPrice:F2}");
		}
	}
}