import java.util.Scanner;

public class tradeComissions {
    public static void main(String[] args) {
        Scanner console = new Scanner(System.in);
        String city = console.nextLine().toLowerCase();
        int volume = Integer.parseInt(console.nextLine());
        //Double quantity = Double.parseDouble(console.nextLine());
        switch (city){
            case "sofia":
                if (0<=volume&&volume<=500) {
                    System.out.printf("%.2f", volume * 0.05);
                }
                else if(500<volume&&volume<=1000 ){
                    System.out.printf("%.2f", volume * 0.07);

                }
                else if(1000<volume&&volume<=10000 ){
                    System.out.printf("%.2f", volume * 0.08);

                }
                else if(10000<volume ){
                    System.out.printf("%.2f", volume * 0.12);

                }
                break;
            case "plovdiv":
                if (0<=volume&&volume<=500) {
                    System.out.printf("%.2f", volume * 5.5);
                }
                else if(500<volume&&volume<=1000 ){
                    System.out.printf("%.2f", volume * 8);

                }
                else if(1000<volume&&volume<=10000 ){
                    System.out.printf("%.2f", volume * 12);

                }
                else if(10000<volume ){
                    System.out.printf("%.2f", volume * 14.5);

                }
                break;
            case "varna":
                if (0<=volume&&volume<=500) {
                    System.out.printf("%.2f", volume * 4.5);
                }
                else if(500<volume&&volume<=1000 ){
                    System.out.printf("%.2f", volume * 7.5);

                }
                else if(1000<volume&&volume<=10000 ){
                    System.out.printf("%.2f", volume * 10);

                }
                else if(10000<volume ){
                    System.out.printf("%.2f", volume * 13);

                }break;
        }
    }
}