题目描述

张三指出在2~n中至少有k个质数可以表示为两个相邻质数的和加1,(如果两个质数之间没有其他质数，则称为相邻质数。)请你判断他的话是否正确。

输入格式

第一行输入两个整数n(2≤n≤1000)和k(0≤k≤1000)。

输出格式

若张三正确，则输出"YES",否则输出"NO"。

输入样例

17 1

输出样例

YES