AT_abc456_a [ABC456A] Dice

There are three dice, each with six faces. Each die has $ 1,2,3,4,5,6 $ written on its faces. When these dice are rolled simultaneously, is it possible for the sum of the rolled values to be $ X $ ?

The input is given from Standard Input in the following format: > $ X $

If it is possible for the sum of the rolled values to be $ X $ , output `Yes`; otherwise, output `No`.

### Sample Explanation 1 For example, if the rolled values are $ 4,5,6 $ , the sum is $ 15 $ . ### Constraints - $ X $ is an integer between $ 1 $ and $ 20 $ , inclusive.