Задача №264. Мороженое

Задачи подобраны так, чтобы первые три не особо утруждаясь могли решить ученики 6-7 класса. Есть стандартный бинпоиск. Часть задач взята из вступительной работы во всероссийский образовательный центр Сириус этого года на ноябрьскую смену Наука_Информатика_Регионы. Оказалось, что один из наших учеников - Свириденко Егор - решает эти задачи и добился некоторых успехов. Поэтому для Егора, этот раунд будет нерейтинговым. Он уже решил 3 задачи.
Олимпиада завершена. Режим дорешивания.

В кафе мороженое продают по три шарика и по пять шариков. Можно ли купить ровно k шариков мороженого?

Входные данные

Вводится число k (целое,положительное)

Выходные данные

Программа должна вывести слово YES, если при таких условиях можно набрать ровно k шариков (не больше и не меньше), в противном случае - вывести NO.

Примеры
Входные данные
3
Выходные данные
YES
Входные данные
1
Выходные данные
NO
Сдать: для сдачи задач необходимо войти в систему