/*
	第一次写题解，不当之处请多多指教
	1.WA
	我一开始看到题目认为题目是很简单的，sort后判断0+1>2,3+4>5结果WA了
	才想到可能有2 3 5 5 5 6组成256、355这种类型的
	2.懒惰
	然后想到了暴力，但存在6*5*4/3/2/1/2=10种可能，我懒得敲一个个敲代码
	总感觉有种简单的方法，还准备看题解的，但看了好几个题解都是暴力解法，然后我开始自己想
	3.思路
	随便组了了几组数据发现123456（sort后数组第几个数，1肯定是短边的，以1为主要讲），的123、456比124、356强（如果124可以，那123也肯定可以），就是4>=3，如果123可以我们就不用124、125、126依次类推，我们最终可以得到123、134、145、156四组（剩下三个一次填入就行）我就从10种可能性减到了4种，然后一一列举这四种就过了
	可能还有更简便的方法，但以我当下状态最多只能想到这里了
	最后感谢各位的观看
*/
void solve() {
    VL v(6);
    rep(i, 6)cin >> v[i];
    sort(v.begin(), v.end());
    if((v[0] + v[1] > v[2] && v[3] + v[4] > v[5])
	   || (v[0] + v[2] > v[3] && v[1] + v[4] > v[5])
	   || (v[0] + v[3] > v[4] && v[1] + v[2] > v[5])
	   || (v[0] + v[4] > v[5] && v[1] + v[2] > v[3])
	  )cout << yes;
    else cout << no;
}