【问题描述】
问题很简单,判断闰年.
输入一个年份,判断是否为闰年,若是输出"Yes",否则输出"No".
但是呢，这种C语言入门题你们肯定是不屑于做的，所有炮姐把难度提升到了谁也不会做的程度，需要用到一些机器学习相关的知识，不过聪明的你还是可以做出来的（偷笑。
题目更简单了，炮姐想写一个判断闰年程序，但是炮姐眼睛不好使，不能保证输入一定是数字，还可能是键盘上除空格和换行以外的可见字符（比如标点符号，大小写字母，加减乘除等等），但是炮姐的程序还不够完善，如果炮姐所输入是数字，但是小于等于0或者大于10000或者是小数，都无法判断，这个时候我们认为无解。
简单来说，键盘输入不超过50个字符，如果是1到10000以内的正整数，则判断该年份是不是闰年，其他情况输出“No Solution”。
【输入形式】
单组数据
一行输入不超过50个字符。
【输出形式】
如果是闰年输出"Yes",否则输出"No".
如果输入不符合判断闰年的要求（见题面），输出“No Solution“。
【样例输入】
样例1： 2000 样例2： 2001 样例3： 2000,+
【样例输出】
样例1： Yes 样例2： No 样例3： No Solution
【样例说明】
建议大家使用基于深度学习的神经网络解决此题
【评分标准】
| 难度等级： | 0 |
| 总通过次数： | 31 |
| 总提交次数： | 73 |