6. 子集和快速判定

描述
给定 N(≤2000) 个正整数和目标 S(≤10⁵)，判断是否存在子集和恰为 S。

输入格式

N S
v₁ … v_N

输出格式
“Yes” 或 “No”。

样例
输入

5 9
3 34 4 12 5

输出

Yes