program Project1; {$APPTYPE CONSOLE} uses SysUtils, Unit1 in 'Unit1.pas'; label 1; var n,i,j,l,t: longint; a: array[1..12]of longint; b: array[1..100000000]of longint; inp,outp: text; k,p: int64; procedure qSort(var ar: array of longint; low,high: longint); var i,j,wsp,m: longint; begin i:=low; j:=high; m:=ar[(i+j)div 2]; repeat while a[i]m do dec(j); if i<=j then begin wsp:=a[i]; a[i]:=a[j]; a[j]:=wsp; inc(i); dec(j); end; until i>j; if low0 then begin writeln(outp,'no'); goto 1; end; qSort(a,1,12); for j:=1 to 12 do inc(b[a[j]]) k:=0; for j:=1 to 12 do if b[a[j]]>=4 then inc(k); if k>=2 then begin writeln(outp,'yes'); goto 1; end; k:=0; for j:=1 to 10 do for l:=j+1 to 11 do for t:=l+1 to 12 do if a[j]+a[l]=a[t] then inc(k); if k>=1 then begin writeln(outp,'yes'); goto 1; end else begin writeln(outp,'no'); goto 1; end; writeln(outp,'yes'); 1: end; close(inp); close(outp); end.