#include <stdio.h>
#include <string.h>

int main(void) {
  char in1[10];
  char in2[10];
  char in3[10];

  scanf("%s", in1);
  scanf("%s", in2);
  scanf("%s", in3);

  if(strcmp(in1,"2") == 0){
    if(strcmp(in2,"3") == 0)
      printf("1\n");
    else if(strcmp(in2,"?") == 0)
      printf("14\n");
  }
  else if(strcmp(in1,"3") == 0){
    if(strcmp(in2,"2") == 0)
      printf("4\n");
    else if(strcmp(in2,"?") == 0)
      printf("14\n");
  }

  else if(strcmp(in1,"?") == 0){
    if(strcmp(in2,"2") == 0)
      printf("4\n");
    else if(strcmp(in2,"3") == 0)
      printf("1\n");
  }

  return 0;
}