#include <bits/stdc++.h>
using namespace std;
const long long N = 1e6;
long long n, m, a[N], b[N], k = 0, l = 0, i, j, mn = N, mx = -N, ans = 0, r = 1,
                            t, q;
string d1, d3, d2;
pair<long long, long long> g[N];
char lk, kl;
int main() {
  for (i = 0; i < 3; i++) {
    getline(cin, d1);
    k = 0;
    for (j = 0; j < d1.size(); j++) {
      if (d1[j] == 'a' || d1[j] == 'e' || d1[j] == 'i' || d1[j] == 'o' ||
          d1[j] == 'u') {
        k++;
      }
    }
    b[i] = k;
  }
  if (b[0] == 5 && b[1] == 7 && b[2] == 5) {
    cout << "YES";
  } else {
    cout << "NO";
  }
  cout << "\n";
  return 0;
}
