<?php
$a = explode(" ",trim(fgets(STDIN)));
$b = explode(" ",trim(fgets(STDIN)));

for ($i = 0; $i < 3; $i++) {
     for ($j = 0; $j < 3; $j++) {
         $count = 0;
     $m = $a[$i];
     $a[$i] = $b[$j];
     $b[$j] = $m;
     
     
     if (max($a) == $a[1] || min($a) == $a[1]) {
         $count++;
     }elseif (abs($a[0]-$a[1]) > 0 && abs($a[1]-$a[2])>0) {
         $count++;
     }elseif (max($b) == $b[1] || min($b) == $b[1]) {
         $count++;
     }elseif (abs($b[0]-$b[1]) > 0 && abs($b[1]-$b[2])>0) {
         $count++; 
     }
     
     if ($count == 4) {
         echo "Yes";
     }
    }
    
    if ($count !== 4) {
        echo "No";
    }
}
?>