<?php $a = trim(fgets(STDIN)); $b = trim(fgets(STDIN)); $c = trim(fgets(STDIN)); $normal = ceil($a/$b); $campaign = ceil($a/$c); echo ($normal / $campaign).PHP_EOL; if ( ($normal / $campaign) >= 1.5 ) { echo "YES".PHP_EOL; } else { echo "NO".PHP_EOL; }