#include <stdio.h>
#include <stdlib.h>

int x, arr[100], i=1;
char s[100];

void push(char *s) {
  arr[i++]=atoi(s);
}

void pop() {
  i--;
}

int main() {

  while (scanf("%s", s)!=EOF) {
    if (s[0]=='+') {
      pop();
      arr[i-1]+=arr[i];
    } else if (s[0]=='-') {
      pop();
      arr[i-1]-=arr[i];
    } else if (s[0]=='*') {
      pop();
      arr[i-1]*=arr[i];
    } else {
      push(s);
    }

    if (i==102) {
      printf("overflow\n");
      return 0;
    } else if (i==1) {
      printf("underflow\n");
      return 0;
    }
  }

  printf("%d\n", arr[i-1]);
  return 0;
}
