package test.demo;

import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;
import java.util.HashMap;
import java.util.LinkedHashMap;

public class Yukicoder842 {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		BufferedReader bf=new BufferedReader(new InputStreamReader(System.in));
		try {
			String str =bf.readLine();
			String[]str2=str.split(" ");
			int a=Integer.parseInt(str2[0]);
			int b=Integer.parseInt(str2[1]);
			int c=Integer.parseInt(str2[2]);
			int d=Integer.parseInt(str2[3]);
			int e=Integer.parseInt(str2[4]);
			int f=Integer.parseInt(str2[5]);
			int g=Integer.parseInt(str2[6]);
			
	
			System.out.println(a*500+b*100+c*50+d*10+e*5+f);
			if(a*500+b*100+c*50+d*10+e*5+f==g) {
				System.out.println("YES");
			}else if(a*500+b*100+c*50+d*10+e*5+f>g){
				for(int i=0;i<=a;i++) {
					for(int j=0;j<=b;j++) {
						for(int k=0;k<=c;k++) {
							for(int m=0;m<=d;m++) {
								for(int n=0;n<=e;n++) {
									for(int p=0;p<=f;p++) {
										System.out.println(i*500+j*100+k*50+m*10+n*5+p);
										if(i*500+j*100+k*50+m*10+n*5+p==g) {
											System.out.println("YES");
											return;
										}
									}
								}
							}
						}
						
					}
				}
				System.out.println("NO");
				
			}else {
				System.out.println("NO");
			}
			
		} catch (IOException e) {
			// TODO 自動生成された catch ブロック
			e.printStackTrace();
		}
		

	}

}