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

一行两个整数 x, y ( 0 ≤ x ≤ 1000, 1 ≤ y ≤ 5 ) 其中 x 代表是该沙漠同学拥有的至纯源石，y 表示是该沙漠同学现在想买的时装
当 y = 1 时，是该沙漠同学想买的是干员 芬的时装 十字郡（售价 0 至纯源石）
当 y = 2 时，是该沙漠同学想买的是干员 幽灵鲨的时装 暗流（售价 15 至纯源石）
当 y = 3 时，是该沙漠同学想买的是干员 琴柳的时装 识芳（售价 18 至纯源石）
当 y = 4 时，是该沙漠同学想买的是干员 鸿雪的时装 字句中的雪原（售价 21 至纯源石）（虽然是该沙漠同学没抽出鸿雪……）
当 y = 5 时，是该沙漠同学想买的是干员 异客的时装 今昔须臾之梦（售价 24 至纯源石）

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

样例输入2

15 5

样例输出2

No 9

转生成为C语言糕手