#include <iostream>
#include<stdio.h>
using namespace std;
int main()
{
int n,floor[6],i,ud[6][6],j,k,a,b,c=0,f[8];
while(cin>>n)
{
c++;
for(i=1;i<=4;i++)
{
cin>>floor[i];
}
for(i=1;i<=5;i++)
{
for(j=1;j<=5;j++)
{
ud[i][j]=0;
}
}
for(i=1;i<=5;i++)
{
for(j=2;j<=5;j++)
{
for(k=i;k<j;k++)
{
ud[i][j]+=floor[k];
}
ud[j][i]=ud[i][j];
}
}
cin>>f[0];
for(i=1;i<8;i++)
{
cin>>f[i];
if(ud[f[i]][f[i-1]]>n)
{
break;
}
}
if(c==10)
{
cout<<n<<"="<<floor[0];
}
if(i==8)
{
cout<<"yes"<<endl;
}
else
{
cout<<"no"<<endl;
}
}
}