题目描述

wjyyy最喜欢收集奶茶标签了， 每天都会喝上一杯奶茶，一杯奶茶13元。 wjyyy现在想要更多的奶茶标签。 但可怜的wjyyy一个月只有$n$元的工资。 更让人感到悲伤的是一杯奶茶只有1张标签。 （可怜的wjyyy） 他想买x杯奶茶， 他的钱包可以答应吗？以及他的工资最多能收集多少个标签？

输入格式

一行两个整数， $n$与$x$，分别代码他的工资和希望收集的的标签数。

输出格式

输出wjyyy的钱包是否会同意，同意为YES，不同意为NO,以及最多可以拿到多少标签

10000 10

YES
769

数据规模与约定

对于 $100\%$ 的数据，$0 \le n \le 10^7$且$0 \le x \le 10^7$。