训练积分卡（card）

题目描述

$\text{DAMON THRONE}$ 的每日训练系统会根据同学完成的题目类型发放积分。

小 D 今天完成了三类题目：

• 基础题：每道得 $2$ 分；
• 提高题：每道得 $5$ 分；
• 挑战题：每道得 $9$ 分。

已知小 D 完成了 $a$ 道基础题、$b$ 道提高题、$c$ 道挑战题。

如果他的总积分不少于 $p$，则认为今天训练达标。

请你计算小 D 今天的总积分，并判断是否达标。

输入格式

输入一行，包含四个整数 $a,b,c,p$。

输出格式

输出两行。

第一行输出一个整数，表示小 D 今天获得的总积分。

第二行输出一个字符串：

• 如果总积分不少于 $p$，输出 $\texttt{Yes}$；
• 否则输出 $\texttt{No}$。

输入输出样例 #1

输入 #1

3 2 1 25

输出 #1

25
Yes

样例解释 #1

小 D 的总积分为：

因为 $25\ge25$，所以输出 $\texttt{Yes}$。

输入输出样例 #2

输入 #2

4 1 0 20

输出 #2

13
No

数据范围与约定

对于所有测试数据，保证：

特殊性质 $\text{A}$：保证 $c=0$。

特殊性质 $\text{B}$：保证 $a=b=c$。

特殊性质 $\text{C}$：保证总积分恰好等于 $p$。