2016-05-26 07:34:20 +08:00

7 lines
68 B
C

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