#include <bits/stdc++.h>

using namespace std;

int main(void) {
  int m, n;
  cin >> m >> n;
  printf("%.10f\n", m + 1 / 3.0 * n);

  return 0;
}