// inputに入力データ全体が入る
function Main(input) {
  input = input.split("\n");
  A = parseInt(input[0].split(' ')[0])
  B = parseInt(input[0].split(' ')[1])
  eightArg = []
  tenArg = []
  ans = -1
  for(i = 1;  Math.floor(i * 0.08) <= A; i++){
    if(Math.floor(i * 0.08) == A){
    	eightArg.push(i)
    }
  }
  for(i = 1;  Math.floor(i * 0.1) <= B; i++){
    if(Math.floor(i * 0.1) == B){
    	tenArg.push(i)
    }
  }
	eightArg.forEach(v=>{
    	if(tenArg.find(w => w==v) && ans == -1){
        	ans = v
        }
    })
  console.log(ans)
}

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