#include namespace { #pragma GCC diagnostic ignored "-Wunused-function" #include #pragma GCC diagnostic warning "-Wunused-function" using namespace std; using namespace atcoder; #define rep(i,n) for(int i = 0; i < (int)(n); i++) #define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--) #define all(x) begin(x), end(x) #define rall(x) rbegin(x), rend(x) template bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; } template bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; } using ll = long long; using P = pair; using VI = vector; using VVI = vector; using VL = vector; using VVL = vector; constexpr int INF = 1001001001; struct enum_k_bits { int n2, k, s; enum_k_bits(int n, int k) : n2(1 << n), k(k), s((1 << k) - 1) {} enum_k_bits begin() { return *this; } int end() const { return n2; } int& operator*() { return s; } enum_k_bits& operator++() { if (k == 0) { s = n2; } else { int x = s & -s; int y = s + x; s = (((s & ~y) / x) >> 1) | y; } return *this; } bool operator!=(int ub) const { return s < ub; } }; } int main() { ios::sync_with_stdio(false); cin.tie(0); int n, d; cin >> n >> d; chmin(d, 1500); VI a(n), b(n), c(n); rep(i, n) cin >> a[i] >> b[i] >> c[i]; segtree seg(d + 1); bool ans = false; for (int s : enum_k_bits(n, n / 2)) { VI idx; struct S { int x, y, z; }; vector p1, p2; VI idx1, idx2; rep(i, n) (s >> i & 1 ? idx1 : idx2).emplace_back(i); do { int x = 0, y = 0, z = 0; for (int i : idx1) { x = x + a[i]; y = max(x, y) + b[i]; z = max(y, z) + c[i]; } if (z <= d) p1.emplace_back(x, y, z); } while (next_permutation(all(idx1))); do { int x = d, y = d, z = d; for (int i : idx2) { z = z - c[i]; y = min(z, y) - b[i]; x = min(y, x) - a[i]; } if (x >= 0) p2.emplace_back(x, y, z); } while (next_permutation(all(idx2))); ranges::sort(p1, {}, &S::x); ranges::sort(p2, {}, &S::x); int ptr = 0; for (auto [x2, y2, z2] : p2) { while (ptr < ssize(p1) && p1[ptr].x <= x2) { auto [x1, y1, z1] = p1[ptr++]; seg.set(y1, min(seg.get(y1), z1)); } ans |= seg.prod(0, y2 + 1) <= z2; } for (auto [x1, y1, z1] : p1) seg.set(y1, INF); } cout << (ans ? "Yes\n" : "No\n"); }