Một cửa hàng bánh ngọt có bán bánh kem với giá 4 đô la và bánh donut với giá 7 đô la. Kiểm tra xem có thể sử dụng đúng \(a\) đô la để mua được một số chiếc bánh trong cửa hàng hay không (ta có thể không mua một trong hai loại bánh).

INPUT FORMAT

Một dòng duy nhất gồm số nguyên dương \(a\) \((1 \leq a \leq 100)\).

OUTPUT FORMAT

In ra Yes nếu có thể mua một lượng bánh với giá đúng \(a\) đô la. Ngược lại in ra No.

Ví dụ 1:

Input

11

Output

Yes

Ví dụ 2:

Input

3

Output

No

Giải thích ví dụ mẫu:

Ví dụ 1:

Input:

11

Output:

Yes

Giải thích: Có thể mua 1 cái bánh kem và 1 cái bánh donut để tốn tổng cộng 11 đô la.

Ví dụ 2:

Input:

3

Output:

No

Giải thích: Không thể mua được bánh kem (4 đô la) hoặc bánh donut (7 đô la) với số tiền 3 đô la.

Lời giải bài tập này: Tại đây

Group giải đáp thắc mắc: Lập trình 24h

Fanpage CLB: CLB lập trình Full House- Việt Nam

Youtube: CLB Lập Trình Full House