using System.Diagnostics; using System; using System.Linq; using System.Numerics; using System.Collections; using System.Collections.Generic; using System.IO; using System.Text; using static Functions; using N = System.Int64; static class Program { static public void Main(string[] args) { Console.SetOut(new StreamWriter(Console.OpenStandardOutput()) { AutoFlush = false }); var solver = new Solver(); solver.Solve(); Console.Out.Flush(); } } public class Solver { public void Solve() { int n = ri; long k = rl; var a = new long[n]; for (int i = 0; i < n; i++) a[i] = rl; if (a.Contains(k)) { Yn(true); return; } var pow3 = new int[n / 2 + 5]; pow3[0] = 1; for (int i = 0; i < pow3.Length - 1; i++) pow3[i + 1] = pow3[i] * 3; var s00 = new SortedSet(); var s01 = new SortedSet(); var s10 = new SortedSet(); var s11 = new SortedSet(); for (int l = 0; l < pow3[n / 2]; l++) { int t = l; long x = 0; var cnt = new int[3]; for (int i = 0; i < n / 2; i++) { switch (t % 3) { case 0: x -= a[i]; break; case 2: x += a[i]; break; } cnt[t % 3]++; t /= 3; } s00.Add(x); if (cnt[2] > 0) s01.Add(x); if (cnt[0] > 0) s10.Add(x); if (cnt[0] > 0 && cnt[2] > 0) s11.Add(x); } bool ans = false; for (int l = 0; l < pow3[n - n / 2]; l++) { int t = l; long x = 0; var cnt = new int[3]; for (int i = n / 2; i < n; i++) { switch (t % 3) { case 0: x -= a[i]; break; case 2: x += a[i]; break; } cnt[t % 3]++; t /= 3; } if (cnt[0] == 0 && cnt[2] == 0) ans |= s11.Contains(k - x); if (cnt[0] == 0 && cnt[2] > 0) ans |= s10.Contains(k - x); if (cnt[0] > 0 && cnt[2] == 0) ans |= s01.Contains(k - x); if (cnt[0] > 0 && cnt[2] > 0) ans |= s00.Contains(k - x); } Yn(ans); } const long inf = (long)1 << 60; int ri { get { return (int)sc.Integer(); } } long rl { get { return sc.Integer(); } } double rd { get { return sc.Double(); } } string rs { get { return sc.Scan(); } } string rline { get { return sc.Line(); } } public StreamScanner sc = new StreamScanner(Console.OpenStandardInput()); T[] RepArray(T t, int count) => Enumerable.Repeat(t, count).ToArray(); void WriteJoin(string s, IEnumerable t) { Console.WriteLine(string.Join(s, t)); } void WriteMax(params long[] x) => Console.Write(x.Max()); void WriteMin(params long[] x) => Console.Write(x.Min()); void Write(T t) { Console.WriteLine(t.ToString()); } void WriteFlush(T t) { Console.WriteLine(t.ToString()); Console.Out.Flush(); } void WriteError(T t) { Console.Error.WriteLine(t.ToString()); } void YN(bool t) { Console.WriteLine(t ? "YES" : "NO"); } void Yn(bool t) { Console.WriteLine(t ? "Yes" : "No"); } void yn(bool t) { Console.WriteLine(t ? "yes" : "no"); } } public static class Functions { public static int Popcount(long x) { x = x - ((x >> 1) & 0x5555555555555555); x = (x & 0x3333333333333333) + ((x >> 2) & 0x3333333333333333); x = (x + (x >> 4)) & 0x0f0f0f0f0f0f0f0f; x = x + (x >> 8); x = x + (x >> 16); x = x + (x >> 32); return (int)(x & 0x0000007f); } public static int Ctz(long x) { if (x == 0) return -1; return Popcount((x & -x) - 1); } public static int SafeMod(int x, int m) { int r = x % m; return r < 0 ? r + m : r; } public static long SafeMod(long x, long m) { long r = x % m; return r < 0 ? r + m : r; } public static long Floor(long a, long b) => a >= 0 ? a / b : (a + 1) / b - 1; public static long Ceil(long a, long b) => a > 0 ? (a - 1) / b + 1 : a / b; public static int Gcd(int a, int b) => b == 0 ? a : Gcd(b, a % b); public static long Gcd(long a, long b) => b == 0 ? a : Gcd(b, a % b); public static void Swap(ref int x, ref int y) { x ^= y; y ^= x; x ^= y; } public static void Swap(ref long x, ref long y) { x ^= y; y ^= x; x ^= y; } public static void Swap(ref T x, ref T y) { T t = y; y = x; x = t; } public static T Clamp(T x, T l, T r) where T : IComparable => x.CompareTo(l) <= 0 ? l : (x.CompareTo(r) <= 0 ? x : r); public static void Chmin(ref T x, T y) where T : IComparable { if (x.CompareTo(y) > 0) x = y; } public static void Chmax(ref T x, T y) where T : IComparable { if (x.CompareTo(y) < 0) x = y; } public static int LowerBound(in T[] list, S val, Func comp) { if (list.Length == 0) return -1; int l = 0, r = list.Length; while (l < r) { int x = (l + r) / 2; if (comp(list[x], val) < 0) l = x + 1; else r = x; } return l; } public static int LowerBound(in List list, S val, Func comp) { if (list.Count == 0) return -1; int l = 0, r = list.Count; while (l < r) { int x = (l + r) / 2; if (comp(list[x], val) < 0) l = x + 1; else r = x; } return l; } public static int UpperBound(in List list, S val, Func comp) { if (list.Count == 0) return 0; if (comp(list.Last(), val) < 0) return list.Count; int l = 0, r = list.Count; while (l < r) { int x = (l + r) / 2; if (comp(list[x], val) <= 0) l = x + 1; else r = x; } return l; } } public class StreamScanner { public StreamScanner(Stream stream) { str = stream; } private readonly Stream str; private readonly byte[] buf = new byte[1024]; private int len, ptr; public bool isEof = false; public bool IsEndOfStream { get { return isEof; } } private byte read() { if (isEof) throw new EndOfStreamException(); if (ptr >= len) { ptr = 0; if ((len = str.Read(buf, 0, 1024)) <= 0) { isEof = true; return 0; } } return buf[ptr++]; } public char Char() { byte b = 0; do b = read(); while (b < 33 || 126 < b); return (char)b; } public string Line() { var sb = new StringBuilder(); for (var b = Char(); b != 10 && !isEof; b = (char)read()) sb.Append(b); return sb.ToString(); } public string Scan() { var sb = new StringBuilder(); for (var b = Char(); b >= 33 && b <= 126; b = (char)read()) sb.Append(b); return sb.ToString(); } public long Integer() { long ret = 0; byte b = 0; var ng = false; do b = read(); while (b != '-' && (b < '0' || '9' < b)); if (b == '-') { ng = true; b = read(); } for (; true; b = read()) { if (b < '0' || '9' < b) return ng ? -ret : ret; else ret = ret * 10 + b - '0'; } } public double Double() { return double.Parse(Scan()); } }