using System;

​

public class Program

{

    public static void Main()

    {

        double PM = double.Parse(Console.ReadLine());

        double RM = double.Parse(Console.ReadLine());

        double VM = double.Parse(Console.ReadLine());

        double CPM = PM*10.35;

        double CRM = RM*12.40;

        double CVM = VM*8.15;

        double OCM = CPM+CRM+CVM;

        double CD = 0.20*OCM;

        double OBCP = OCM+CD+2.50;

        Console.WriteLine(""+OBCP);

    }

}