Задача 88. Тягостный долг

Автор:Антон Карабанов   Ограничение времени:1 сек
Входной файл:Стандартный вход   Ограничение памяти:256 Мб
Выходной файл:Стандартный выход  
Максимальный балл:100  

Условие

Три копейки несу в кулаке,

Связан честным мальчишеским словом,

Продавщице в пуховом платке,

Продавщице в ларьке продуктовом.

Что случится, не знаю и сам,

Но ужасное что-то случится,

Если я не отдам,

Если я не отдам

Этот тягостный долг продавщице.

Валентин Берестов, "Три копейки", 1980 г.

У Валентина в кармане n советских "медяков" (каждая из монеток может быть номиналом 1, 2 или 5 копеек). Может ли оказаться так, что у него в сумме ровно k копеек и он сможет вернуть долг, отдав все монеты?

Формат входных данных

Две строки входного файла содержат два натуральных числа n и k

Обратите внимание, что при заданных ограничениях для хранения ответа необходимо использовать 64-битный тип данных, например long long в C++, int64 в Free Pascal, long в Java.

Формат выходных данных

Выведите Yes или No — ответ на вопрос задачи.

Ограничения

1 ≤ n, k ≤ 1015

Система оценки и описание подзадач

Решения, верно работающие при n ≤ 100, получат не менее 20 баллов.

Решения, верно работающие при k ≤ 105, получат не менее 60 баллов.

Пояснения к примерам

В первом примере дано 2 монеты. Возможны 6 различных сумм:

1 + 1 = 2;

1 + 2 = 3;

2 + 2 = 4;

1 + 5 = 6;

2 + 5 = 7;

5 + 5 = 10.

Ровно 5 копеек быть не может.

Во втором примере дано 3 монеты. Ровно 3 копейки можно набрать суммой 1 + 1 + 1.

Примеры тестов

Стандартный вход Стандартный выход
1
2
5
No
2
3
3
Yes

0.075s 0.014s 15