John wants to build a back garden on the empty space behind his home. There are two kinds of bricks now, one is
3 dm high and the other is
7 dm high. John wants to enclose a high
x dm wall. If John can do this, output YES, otherwise NO.
X is an integer, and it's range is