#include<bits/stdc++.h> using namespace std; int main() { int x,y,z,q; scanf("%d %d %d %d",&x,&y,&z,&q); if (2 * x + 5 * y + 3 * z <= q) printf("Yes\n"); else printf("No\n"); printf("%d\n",short(2 * x + 5 * y + 3 * z - q)); return 0; }