function Main(input) {
	input = input.split(" ").map(Number);
	var n = -1;
	for(var i=input[0]*12;i<(input[0]*12)+1000;i++){
		if(Math.floor(i*0.08)==input[0]&&Math.floor(i*0.1)==input[1]){
			n = i;
			break;
		}
	}
	console.log(n)
}Main(require("fs").readFileSync("/dev/stdin", "utf8").trim());