package hahaah;

import java.util.Scanner;

public class TruckDriver {
    public static void main(String[] args) {
        Scanner scanner = new Scanner(System.in);
        String season = scanner.nextLine();
        double kilometers = Double.parseDouble(scanner.nextLine());
        double priceKm = 0;

        if("Spring".equals(season) || "Autumn".equals(season)){
            if(kilometers <= 5000){
                priceKm = 0.75;
            }else if(kilometers > 5000 && kilometers <= 10000){
                priceKm = 0.95;
            }else if (kilometers > 10000 && kilometers <= 20000){
                priceKm = 1.45;
            }

        }else if ("Summer".equals(season)){
            if(kilometers <= 5000){
                priceKm = 0.90;
            }else if(kilometers > 5000 && kilometers <= 20000){
                priceKm = 1.10;
            }else if (kilometers > 10000 && kilometers <= 20000){
                priceKm = 1.45;
            }
        }else if("Winter".equals(season)){
            if(kilometers <= 5000){
                priceKm = 1.05;
            }else if(kilometers > 5000 && kilometers <= 10000){
                priceKm = 1.25;
            }else if (kilometers > 10000 && kilometers <= 20000) {
                priceKm = 1.45;
            }
        }
        double sum = (priceKm * kilometers) * 4;
        double totalSum = sum - sum * 0.10;
        System.out.printf("%.2f", totalSum);

    }
}