function Main(input) {
  input=input.split("\n");
  if(input[input.length-1]===''){
    input.pop();
  }
  const A=input[0].split(' ')[0]-0;
  const B=input[0].split(' ')[1]-0;
  var i=0;
  while(Math.floor(i*0.08)!==A||Math.floor(i*0.1)!==B){
    i++;
    if(i===2000){
      console.log(-1);
      return;
    }
  }
  console.log(i);
}


//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));
  



  
