#include <bits/stdc++.h>
int main(void) {
  int i, j, d[1024][1024], h, w, c = 0;
  for (i = 1; i <= 6; i++) {
    scanf("%d%d", &h, &w);
    if (h > w) {
      d[h][w]++;
    } else {
      d[w][h]++;
    }
  }
  for (i = 1; i <= 1000; i++) {
    for (j = 1; j <= 1000; j++) {
      c += (d[i][j] / 2);
    }
  }
  if (c == 3) {
    printf("yes\n");
  } else {
    printf("no\n");
  }
  return 0;
}
