function Main(input) {
    var A = parseInt(input[0], 10);
    var B = parseInt(input[1], 10);
    
    var aMin = Math.ceil(A / 0.08);
    var aMax = (A+1) / 0.08 === Math.ceil((A+1) / 0.08) ? (A+1) / 0.08 - 1 : Math.floor((A+1) / 0.08);
    
    var bMin = Math.ceil(B / 0.1);
    var bMax = (B+1) / 0.08 === Math.ceil((B+1) / 0.08) ? (B+1) / 0.1 - 1 : Math.floor((B+1) / 0.1);

    if (aMin === bMin) {
        console.log(aMin);
    } else if (aMin > bMin) {
        if (bMax >= aMin) {
            console.log(aMin);
        } else {
            console.log(-1);
        }
    } else {
        if (aMax >= bMin) {
            console.log(bMin);
        } else {
            console.log(-1);
        }
    }
}

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