<?php
  $have = explode(" ",fgets(STDIN));
  $cost = explode(" ",fgets(STDIN));
  for ($i=0; $i < $have[0]; $i++){
      while ($cost[$i] > 0){
          $p = pay($cost[$i]);
          $cost[$i] -= $p;
      }
  }
  
  if ($have[1] < 0 || $have[2] < 0 || $have[3] < 0){
      echo "No\n";
  } else {
      echo "Yes\n";
  }
  
  function pay($cost) {
      if ($have[3] > 0 && $have[2]*5000 + $have[1]*1000 < $cost){
          $have[3]--;
          $p = 10000;
      } else if ($have[2] > 0 && $have[1]*1000 < $cost){
          $have[2]--;
          $p -= 5000;
      } else if ($have[1] > 0) {
          $have[1]--;
          $p -= 1000;
      }
      return $p;
  }
?>