说明

如果经常喂小猫同一种食物，它就会不想吃饭。

现在一共有三种食物，分别有 a,b,c 份

小猫一共要吃 n 天的食物，每天吃一份。其中每两天不能吃同样种类的，请问这些食物能否满足 n 天的需求？

输入格式

第一行四个整数 a,b,c,n

输出格式

一个字符串 Yes 或 No。

样例

1 2 3 4

Yes

1 2 5 8

No

所有输入数字不超过 1000