<?php
// 1 homem = um homem come em média um quilo de carne, meio quilo de verduras e bebe dois litros de vinho
// 1 mulher = uma mulher come em média meio quilo de carne, um quilo de verduras e bebe três litros de vinho

// 1 homem 1kg carne, 1/2kg verduras, 2 litros vinho
// 1 mulher 1/2kg carne, 1kg verduras, 3 litros de vinho


// 1kg carne = 7 libras    
// 1kg verdura = 4 libras
// 1L vinho = 11 libras

$homens = (int) trim(fgets(STDIN));
$mulheres = (int) trim(fgets(STDIN));

$custoHomens = ($homens*7) + ($homens*2) + ($homens*22);
$custoMulheres = ($mulheres*3.5) + ($mulheres*4) + ($mulheres*33);

printf ("%.2f", $custoHomens+$custoMulheres);
?>