#include <bits/stdc++.h>
using namespace std;
int main() {
  int r, g, b, ans = 0;
  scanf("%d%d%d", &r, &g, &b);
  r--;
  g--;
  b--;
  if (r >= 0) ans = (r / 2) * 3 + 30;
  if (g >= 0) ans = max(ans, (g / 2) * 3 + 31);
  if (b >= 0) ans = max(ans, (b / 2) * 3 + 32);
  printf("%d\n", ans);
}
