Problem A: 船舵轮上的数字

Memory Limit：128 MB Time Limit：1.000 S
Judge Style：Text Compare Creator：
Submit：62 Solved：13

Description

       小明发现张老师给他看的船舵轮图片上数字排列是有规律的，他告诉张老师，船舵轮上每一直线上三个数字相加的和都是16 。张老师回答:" 你的发现是对的! 我再给你另外的和 S，你也要在船舵轮图片上排出每行和相等，而且每个数字都不同，数字范国在1至9之间。若能行则回答"YES"，否则回答"NO"。" 

请你编写程序用DFS算法来解答。



Input

一个正整数 s 。

Output

若能实现则输出"YES"，否则输出"NO"。

Sample Input Copy 

18

Sample Output Copy 

YES

HINT

7=< s <= 32