using System;

namespace _03._Flowers
{
    class Program
    {


        static void Main(string[] args)
        {
            int chrysanthemums = int.Parse(Console.ReadLine());
            int roses = int.Parse(Console.ReadLine());
            int tulips = int.Parse(Console.ReadLine());
            string season = Console.ReadLine();
            string holidayOrNot = Console.ReadLine();

            double priceChrysanthemums = 0.0;
            double priceRoses = 0.0;
            double priceTulips = 0.0;
            double priceDiscount = 0.0;

            if (season == "Spring" || season == "Summer")
            {
                priceChrysanthemums = (chrysanthemums * 2.00);
                priceRoses = (roses * 4.10);
                priceTulips = (tulips * 2.50);

            }
            else if (season == "Autumn" || season == "Winter")
            {
                priceChrysanthemums = (chrysanthemums * 3.75);
                priceRoses = (roses * 4.50);
                priceTulips = (tulips * 4.15);

            }

            if (holidayOrNot == "Y")
            {
                priceChrysanthemums = priceChrysanthemums + 0.15;
                priceRoses = priceRoses + 0.15;
                priceTulips = priceTulips + 0.15;

                if (tulips > 7 && season == "Spring")
                {

                    priceDiscount = (priceChrysanthemums + priceRoses + priceTulips) - (priceChrysanthemums + priceRoses + priceTulips) * 0.05;

                }
                else if (roses >= 10 && season == "Winter")
                {
                    priceDiscount = (priceChrysanthemums + priceRoses + priceTulips) - (priceChrysanthemums + priceRoses + priceTulips) * 0.1;

                }
                else if ((chrysanthemums + roses + tulips) > 20 && season == "Spring" || season == "Summer" || season == "Autumn" || season == "Winter")
                {
                    priceDiscount = (priceChrysanthemums + priceRoses + priceTulips) - (priceChrysanthemums + priceRoses + priceTulips) * 0.2;


                }
            }
            else if (holidayOrNot == "N")
            {
                if (tulips > 7 && season == "Spring")
                {
                    priceDiscount = (priceChrysanthemums + priceRoses + priceTulips) - (priceChrysanthemums + priceRoses + priceTulips) * 0.05;

                }
                else if (roses >= 10 && season == "Winter")
                {
                    priceDiscount = (priceChrysanthemums + priceRoses + priceTulips) - (priceChrysanthemums + priceRoses + priceTulips) * 0.1;

                }
                else if (((chrysanthemums + roses + tulips) > 20 && season == "Spring") || (season == "Summer" || season == "Autumn" || season == "Winter"))
                {
                    priceDiscount = (priceChrysanthemums + priceRoses + priceTulips) - (priceChrysanthemums + priceRoses + priceTulips) * 0.2;

                }
            }
            Console.WriteLine($"{(priceDiscount+2):f2}");





        }
    }
}