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 type = Console.ReadLine().ToLower();
            var r = int.Parse(Console.ReadLine());
            var c = int.Parse(Console.ReadLine());
            var price = 0.0;

            if (type == "premiere")
            {
                price = 12.00;
            }

            else if (type == "normal")
            {
                price = 7.50;
            }

            else if (type == "discount")
            {
                price = 5.00;
            }

            Console.WriteLine("{0:f2} leva", price * r * c);

        }
    }
}