#include <stdio.h>

int main(){
    printf("31\n");
    
    
    return 0;
}