#pragma region おまじないα ver1 .06
//#define _CRT_SECURE_NO_WARNINGS
//#pragma warning(disable : 4996)
//#define int long long;
// using mint = modint1000000007;
// using mint = modint998244353;
#pragma region 変化しないおまじない
#pragma region includeと高速化
// VSで用いる場合randomなどを利用可能にすべし
#include "bits/stdc++.h"
#if __has_include(<atcoder/all>)
// ACLを利用可能にする
#include <atcoder/all>
using namespace atcoder;
#endif
#if __has_include(<boost/multiprecision/cpp_dec_float.hpp>)
//多倍長演算系
#include <boost/multiprecision/cpp_dec_float.hpp>
#include <boost/multiprecision/cpp_int.hpp>
namespace mp = boost::multiprecision;
using sd = mp::cpp_dec_float_100;
using sll = mp::cpp_int;
#endif
//書いておくだけで若干動作が早くなる。QCFium法として知られている。
#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native")
#pragma endregion
#pragma region 別名系
//短縮、便利系
typedef long long ll;
#define all(x) (x).begin(), (x).end()    // sortなどの引数を省略
#define max3(x, y, z) max(x, max(y, z))  // 3変数min
#define min3(x, y, z) min(x, min(y, z))  // 3変数max
#define chmin(m, v) m = min((m), (v))    //最小値を更新
#define chmax(m, v) m = max((m), (v))    //最大値を更新
// repと愉快な仲間たち
#define rep(i, n) repi(i, 0, n)                           // 0-N rep
#define reps(i, n) repi(i, 1, n + 1)                      // 1-N
#define repi(i, a, b) for (ll i = ll(a); i < ll(b); i++)  // a-b
//省略系、あまり使わない
#define P pair<ll, ll>  // typedefだと予測が効かないっぽい？
#define mp make_pair
#define mt make_tuple
#define pb push_back
#define eb emplace_back
//デバッグ出力
#ifdef _MSC_FULL_VER  //手元なら
#define dout cout
#define debug() if (true)
#define check(x) std::cout << "★" << #x << "の値:" << (x) << endl
#define pass(x) std::cout << "☆" << x << endl
#else
#define dout \
  if (false) cout
#define debug() if (false)
#define check(x) \
  if (false) cout << "★" << #x << "の値:" << (x) << endl
#define pass(x) \
  if (false) cout << "☆" << x << endl
#endif
using namespace std;
#pragma endregion
#pragma region 関数系
//距離関数(ときどき使うよね)
double dist(double x1, double y1, double x2, double y2) {
  return sqrt((x1 - x2) * (x1 - x2) + (y1 - y2) * (y1 - y2));
}
ll idist(ll x1, ll y1, ll x2, ll y2) {
  return (x1 - x2) * (x1 - x2) + (y1 - y2) * (y1 - y2);
}
//桁和
ll digitsum(ll N) {
  while (N >= 10) {
    int tmp = 0;
    while (N > 0) {
      tmp += (N % 10);
      N /= 10;
    }
    N = tmp;
  }
  return N;
}
// string to ll
ll s2l(string s) {
  std::istringstream ss;
  ss = std::istringstream(s);
  ll ans;
  ss >> ans;
  return ans;
}
// ll to string
string l2s(ll l) {
  std::ostringstream oss;
  oss << l;
  return oss.str();
}
#pragma endregion
#pragma region 初期実行
struct qwqw {
  qwqw() {
    //初期実行コード
    //高速入出力(printfと混ぜないこと)
    cin.tie(0);
    std::cout.tie(0);
    ios::sync_with_stdio(0);
    //小数関連
    std::cout << fixed << setprecision(20);
  };
} aaaaaaa;
#pragma endregion
#pragma endregion
#pragma endregion
int main() {
  double a, b;
  cin >> a >> b;
  cout << 8.245 + 6.807 * a + 7.073 * b;
}