题解

#include<bits/stdc++.h>
int main(){
printf("13");
}