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

namespace Cinema
{
    class Program
    {
        static void Main(string[] args)
        {
            var typeOfProjekt = Console.ReadLine().ToLower();
            var row = int.Parse(Console.ReadLine());
            var col = int.Parse(Console.ReadLine());
            var result = 0.0;

            if(typeOfProjekt=="premiere")
            {
                result = (col * row) * 12.00;

            }
            if (typeOfProjekt == "normal")
            {
                result = (col * row) * 7.50;
            }
            if (typeOfProjekt == "discount")
            {
                result = (col * row) * 5.00;
            }
            Console.WriteLine("{0:f2} leva", result);
        }
    }
}