DH同学很喜欢玩明日方舟，在这款游戏中干员的时装是使用至纯源石购买的，他想购买一款时装，但是他囊中羞涩，请你帮他算一算他能不能购买这款时装

DH:什么？你不玩明日方舟？你说的对，但是明日方舟是一款……

一行两个整数 x, y ( 0 ≤ x ≤ 1000, 1 ≤ y ≤ 5 ) 其中 x 代表DH同学拥有的至纯源石，y 表示是DH同学现在想买的时装
当 y = 1 时，DH同学想买的是干员芬的时装十字郡（售价 0 至纯源石）
当 y = 2 时，DH同学想买的是干员幽灵鲨的时装暗流（售价 15 至纯源石）
当 y = 3 时，DH同学想买的是干员菲亚梅塔的时装至圣誓言（售价 18 至纯源石）
当 y = 4 时，DH同学想买的是干员鸿雪的时装字句中的雪原（售价 21 至纯源石）
当 y = 5 时，DH同学想买的是干员凯尔希的时装残余（售价 24 至纯源石）

先输出一行字符串，其中 "Yes" 代表可以购买，"No" 代表不能购买（不含双引号）
再输出一行一个整数 s ，代表DH同学能剩下多少至纯源石 / 还需要多少至纯源石才能购买