题解

#include<stdio.h>
int main(){
    printf("13");
}