AT_abc286_d.[ABC286D] Money in Hand

高桥君有 $N$ 种不同面额的硬币，每种硬币他各有若干枚。具体来说，对于 $1\leq i\leq N$，他有 $A_i$ 日元面额的硬币 $B_i$ 枚。

请判断高桥君能否用手头的硬币（且不能找零）恰好支付 $X$ 日元。

输入以如下格式从标准输入读入。

$N$ $X$
$A_1$ $B_1$
$A_2$ $B_2$
$\vdots$
$A_N$ $B_N$

如果高桥君能用现有的硬币恰好支付 $X$ 日元，则输出 Yes；否则输出 No。

限制条件

• $1\leq N\leq 50$
• $1\leq X\leq 10^4$
• $1\leq A_i\leq 100$
• $1\leq B_i\leq 50$
• 所有 $A_i$ 互不相同。
• 输入均为整数。

样例解释 1

高桥君有 $2$ 日元硬币 $3$ 枚，$5$ 日元硬币 $6$ 枚。可以用 $2$ 日元硬币 $2$ 枚和 $5$ 日元硬币 $3$ 枚，恰好支付 $2\times 2+5\times 3=19$ 日元。因此输出 Yes。

样例解释 2

无论如何组合手头的硬币，都无法恰好支付 $18$ 日元。因此输出 No。

样例解释 3

允许有某些硬币一枚也不使用。

由 ChatGPT 4.1 翻译