import java.util.Scanner;

public class HWClass5_1 {
    public static void main(String[] args) {

        Scanner scanner = new Scanner(System.in);
        int budget = Integer.parseInt(scanner.nextLine());
        String season = scanner.nextLine();
        int fishermenNumber = Integer.parseInt(scanner.nextLine());
        double price = 0.0;

        if ("Spring".equals(season)) {
            price = 3000;
            if (fishermenNumber <= 6) {
                price = 0.9 * price;
            } else if (fishermenNumber <= 11) {
                price = 0.85 * price;

            } else {
                price = 0.75 * price;

            }
        }
         else if ("Summer".equals(season)) {
            price = 4200;
            if (fishermenNumber <= 6) {
                price = 0.9 * price;
            } else if (fishermenNumber <= 11) {
                price = 0.85 * price;

            } else {
                price = 0.75 * price;

            }
        } else if ("Winter".equals(season)) {
            price = 2600;
            if (fishermenNumber <= 6) {
                price = 0.9 * price;
            } else if (fishermenNumber <= 11) {
                price = 0.85 * price;

            } else {
                price = 0.75 * price;

            }

        } else if ("Autumn".equals(season)) {
            price = 4200;
            if (fishermenNumber <= 6) {
                price = 0.9 * price;
            } else if (fishermenNumber <= 11) {
                price = 0.85 * price;

            } else {
                price = 0.75 * price;

            }

        }

        if (fishermenNumber % 2 == 0 && (!season.equals("Autumn"))) {
            price = 0.95 * price;
        }
        if (budget > price) {
            System.out.printf("Yes! You have %.2f leva left.", budget - price);
        } else {

            System.out.printf("Not enough money! You need %.2f leva.",price - budget);
        }

    }
}