Problem:
カードゲー ム

「1」から「10」までの数字が書かれたカードが各 1 枚、全部で 10 枚あります。このカードは、表側には数字が書かれ、裏側には何も書かれていません。このカードを使って、あなたと相手の 2 名で以下のルールでゲー ムを行います。

あなたと相手には、表を上にして 1 枚、裏を上にして 1 枚、計 2 枚のカードが配られています。あなたは相手の表のカードの数字を見ることができますが、裏のカードの数字は見えません。

配られたカードの数字の合計が 20 以下で、かつ相手の数字の合計より大きいときに勝ちとなります。
例えば、あなたのカードが「7」「8」 (合計 15) 、相手のカードが「9」「10」 (合計 19) のときは、相手の勝ちです。

あなたと相手は最大であと 1 枚カードを引くことができます。それを引かなくても構いません。

ここで、あと 1 枚のカードを引くかどうかを決定する目安として、カードを引いたときに合計が 20 以下に なる確率を考え、その確率が 50% 以上のときはカードを引くこととしましょう。この確率を計算するときには、あなたの 2 枚のカードと相手の表のカードの計3枚のカードの情報を利用することができます。つまり、各カードは 1 枚ずつしかないので、それらのカードを引くことはないことになります。

あなたの 2 枚のカードと相手の表のカードを読み込んで、それぞれについて、あと 1 枚引いたときに合計が 20 以下になる確率が 50% 以上のときは YES、そうでないなら NO を出力するプログラムを作成してください。

Input

入力は複数のデータセットからなります。 1 枚目のあなたのカードの数字を C1 、2 枚目のあなたのカードの数字を C2 、相手の表になっているカードの数字を C3 とすると、各データセットは以下の形式で与えられます。

C1 C2 C3

Output

各データセットに対して、YES または NO を１行に出力して下さい。

Sample Input

1 2 3
5 6 9
8 9 10

Output for the Sample Input

YES
YES
NO

Solution in PHP (judge verdict: Accepted)

<?php
while ($g = rtrim(fgets(STDIN))){ 
    $a = preg_split("/[\s,]+/", $g);
    // print_r($a);
    //あなたのカード合計
    $player_sum = $a[0] + $a[1];
    // print_r($player_sum);
    //20までの数字
    $player_left = 20 - $player_sum;
    // print $player_left;
    //相手カード
    // print $player_left;
    // print 'pl';
    // print PHP_EOL;
    $opponent_card = $a[2];
    // print $a[2];
    //残りのカード
    $card_all = [];
    for ($i=1; $i <= 10 ; $i++) {
        if ($i == $a[0]){
            $card_all[] = 0;
        } else if ($i == $a[1]){
            $card_all[] = 0;
        } else if ($i == $a[2]){
            $card_all[] = 0;
        } else {
            $card_all[] = $i;
        }
    }
    // print_r($card_all);
    // 各残りのカードが$player_leftより小さいか等しい数を数える。
    $count = 0;
    for ($i=0; $i < 10 ; $i++) { 
        if($card_all[$i] <= $player_left && $card_all[$i] !== 0){
            $count++;
        }
    }
    if ($count >= 4){
        print 'YES';
    } else {
        print 'NO';
    }
    print PHP_EOL;
    // $countが４以上であったら、Yes, それ以外はNoにする。

}