#include <bits/stdc++.h>
int c[3];
int main() {
  while (scanf("%d%d%d", &c[0], &c[1], &c[2]) != EOF) {
    int T = 0;
    int ptr = 0;
    while (1) {
      int i;
      for (i = 0; i < 3 && c[i] <= 0; ++i)
        ;
      if (i >= 3) break;
      if (c[ptr] > 0) c[ptr] -= 2;
      ptr = (ptr + 1) % 3;
      ++T;
    }
    printf("%d\n", T + 30 - 1);
  }
  return 0;
}
