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

namespace SoftUni_1
{
    class Program
    {
        static void PrintResult(int valueBudget ,decimal valueRentSeason)
        {
            decimal result = valueBudget - valueRentSeason;
            if (result < 0)
            {
                Console.WriteLine("Not enough money! You need {0:f2} leva."
                    , Math.Abs(result));
            }
            else
            {
                Console.WriteLine("Yes! You have {0:f2} leva left."
                    , result);
            }
        }
        static void Main(string[] args)
        {
            int budget = int.Parse(Console.ReadLine());
            string season = Console.ReadLine();
            int numFishermen = int.Parse(Console.ReadLine());
            decimal rentSpring = 3000;
            decimal rentSummer = 4200;
            decimal rentAutumn = 4200;
            decimal rentWinter = 2600;

            bool oddNum = false;

            int checkOdd = numFishermen % 2;
            if (checkOdd > 0)
            {
                oddNum = true;
            }

            if (season == "Spring" && budget >= 1 && budget <= 8000
                && numFishermen >= 4 && numFishermen <= 18)
            {
                if (numFishermen <= 6 && oddNum == true)
                {
                    rentSpring *= 0.9m;
                    PrintResult(budget, rentSpring);

                }
                else if(numFishermen <= 6 && oddNum == false)
                {
                    rentSpring *= 0.85m;
                    PrintResult(budget, rentSpring);
                }
                else if (numFishermen > 6 && numFishermen <= 11 && oddNum == true)
                {
                    rentSpring *= 0.85m;
                    PrintResult(budget, rentSpring);
                }
                else if (numFishermen > 6 && numFishermen <= 11 && oddNum == false)
                {
                    rentSpring *= 0.8m;
                    PrintResult(budget, rentSpring);
                }
                else if (numFishermen > 12 && oddNum == true)
                {
                    rentSpring *= 0.75m;
                    PrintResult(budget, rentSpring);
                }
                else if (numFishermen > 12 && oddNum == false)
                {
                    rentSpring *= 0.7m;
                    PrintResult(budget, rentSpring);
                }
            }
            if (season == "Summer" && budget >= 1 && budget <= 8000
                && numFishermen >= 4 && numFishermen <= 18)
            {
                if (numFishermen <= 6 && oddNum == true)
                {
                    rentSummer *= 0.9m;
                    PrintResult(budget, rentSummer);
                }
                else if (numFishermen <= 6 && oddNum == false)
                {
                    rentSummer *= 0.85m;
                    PrintResult(budget, rentSummer);
                }
                else if (numFishermen > 6 && numFishermen <= 11 && oddNum == true)
                {
                    rentSummer *= 0.85m;
                    PrintResult(budget, rentSummer);
                }
                else if (numFishermen > 6 && numFishermen <= 11 && oddNum == false)
                {
                    rentSummer *= 0.8m;
                    PrintResult(budget, rentSummer);
                }
                else if (numFishermen > 12 && oddNum == true)
                {
                    rentSummer *= 0.75m;
                    PrintResult(budget, rentSummer);
                }
                else if (numFishermen > 12 && oddNum == false)
                {
                    rentSummer *= 0.7m;
                    PrintResult(budget, rentSummer);
                }
            }
            if (season == "Autumn" && budget >= 1 && budget <= 8000
                && numFishermen >= 4 && numFishermen <= 18)
            {
                if (numFishermen <= 6)
                {
                    rentAutumn *= 0.9m;
                    PrintResult(budget, rentAutumn);
                }
                else if (numFishermen > 6 && numFishermen <= 11)
                {
                    rentAutumn *= 0.85m;
                    PrintResult(budget, rentAutumn);
                }
                else if (numFishermen > 12)
                {
                    rentAutumn *= 0.75m;
                    PrintResult(budget, rentAutumn);
                }
            }
            if (season == "Winter" && budget >= 1 && budget <= 8000
                && numFishermen >= 4 && numFishermen <= 18)
            {
                if (numFishermen <= 6 && oddNum == true)
                {
                    rentWinter *= 0.9m;
                    PrintResult(budget, rentWinter);
                }
                else if (numFishermen <= 6 && oddNum == false)
                {
                    rentWinter *= 0.85m;
                    PrintResult(budget, rentWinter);
                }
                else if (numFishermen > 6 && numFishermen <= 11 && oddNum == true)
                {
                    rentWinter *= 0.85m;
                    PrintResult(budget, rentWinter);
                }
                else if (numFishermen > 6 && numFishermen <= 11 && oddNum == false)
                {
                    rentWinter *= 0.8m;
                    PrintResult(budget, rentWinter);
                }
                else if (numFishermen > 12 && oddNum == true)
                {
                    rentWinter *= 0.75m;
                    PrintResult(budget, rentWinter);
                }
                else if (numFishermen > 12 && oddNum == false)
                {
                    rentWinter *= 0.7m;
                    PrintResult(budget, rentWinter);
                }
            }
        }
    }
}