<?php fscanf(STDIN,"%d",$a); fscanf(STDIN,"%d",$b); $array= explode(" ",trim(fgets(STDIN))); $cnt=0; sort($array); for ($i=0; $i < $b; $i++) { $a-=$array[$i]; if($a >= 0){$cnt++; } else{break;} } echo $cnt . PHP_EOL;