最短题解： 普通题解：

输出443就行了

#include<iostream> using namespace std; int main(){ printf("%d",443); return 0; }