var input = require('fs').readFileSync('/dev/stdin', 'utf8');
var Arr=(input.trim()).split("\n");
while(true){
   var NQ=(Arr.shift()).split(" ").map(Number);
   if(NQ[0]==0 && NQ[1]==0)break;
   var Y=[];
   for(var i=0;i<NQ[0];i++){
      var arr=(Arr.shift()).split(" ");
      var A=arr[0];
      var B=arr[1]-0;
      var C=arr[2]-0;
      Y.push([A,C-B]);
   }
   Y.sort(function(a,b){
      a=a[1];
      b=b[1];
      return a-b;
   });
   for(var i=0;i<NQ[1];i++){
      var year=Arr.shift()-0;
      var str="Unknown";
      for(var j=0;j<Y.length;j++){
      var v=Y[j];
         if(year>v[1]){
            str=v[0]+" "+(year-v[1]);
         }
         if(year==v[1]){
            str="Unknown";
            break;
         }
      }
      console.log(str);
   }
}