5 3 1 3 2 8 5
8
<?php
$inputText=trim(stream_get_contents(STDIN));
if($inputText==='') exit;
$tokens=preg_split('/\\s+/', $inputText);
$i=0;
$n=intval($tokens[$i++] ?? 0);
$x=intval($tokens[$i++] ?? 0);
$ans=-1;
for($k=0;$k<$n;$k++){
$v=intval($tokens[$i++] ?? 0);
if($ans===-1 && $v>$x) $ans=$v;
}
echo $ans;
?>
<?php
$inputText=trim(stream_get_contents(STDIN));
if($inputText==='') exit;
$tokens=preg_split('/\\s+/', $inputText);
$i=0;
$n=intval($tokens[$i++] ?? 0);
$x=intval($tokens[$i++] ?? 0);
$ans=-1;
for($k=0;$k<$n;$k++){
$v=intval($tokens[$i++] ?? 0);
if($ans===-1 && $v>$x) $ans=$v;
}
echo $ans;
?>