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

namespace Oscars_Week_In_Cinema___no_time_violation
{
	class Program
	{
		static void Main(string[] args)
		{
			string movie = Console.ReadLine();
			string hallType = Console.ReadLine();
			int ticketsSold = int.Parse(Console.ReadLine());

			double ticketPrice = 0;


			if (movie == "A Star Is Born")
			{
				switch (hallType)
				{
					case "normal": ticketPrice = 7.50; break;
					case "luxury": ticketPrice = 10.50; break;
					case "ultra luxury": ticketPrice = 13.50; break;
					default:
						break;
				}
			}
			if (movie == "Bohemian Rhapsody")
			{
				switch (hallType)
				{
					case "normal": ticketPrice = 7.35; break;
					case "luxury": ticketPrice = 9.45; break;
					case "ultra luxury": ticketPrice = 12.75; break;
					default:
						break;
				}
			}
			if (movie == "Green Book")
			{
				switch (hallType)
				{
					case "normal": ticketPrice = 8.15; break;
					case "luxury": ticketPrice = 10.25; break;
					case "ultra luxury": ticketPrice = 13.25; break;
					default:
						break;
				}
			}
			if (movie == "The Favourite")
			{
				switch (hallType)
				{
					case "normal": ticketPrice = 8.75; break;
					case "luxury": ticketPrice = 11.55; break;
					case "ultra luxury": ticketPrice = 13.95; break;
					default:
						break;
				}
			}

			double moneyMade = ticketsSold * ticketPrice;
			Console.WriteLine($"{movie} -> {moneyMade:f2} lv.");
		}
	}
}