// inputに入力データ全体が入る
function Main(input) {
    var A = input[0].split(" ")[0]-0;
    var B = input[0].split(" ")[1]-0;

    var ans = -1;
    for(var i=0;i<=1000;i++){
        var a = Math.floor(i*0.08);
        var b = Math.floor(i*0.1);
        if(a==A && b==B){
            ans = i;
            break;
        }
    }
    console.log(ans);
}



Main(require("fs").readFileSync("/dev/stdin", "utf8").trim().split("\n"));