#include<iostream>
#include <vector>
using namespace std;
int array[4][5];
int main() {
for (it i = 0; i < 4; ++i)
for (int j = 0; j < 5; ++j) {
cin >> array[i][j];
if (array[i][j] == 16) {
cout << "yes";
return 0;
}
else cout "no";
}
return 0;
}