// inputに入力データ全体が入る
function Main(input) {
	ans = -1
	// 1行目がinput[0], 2行目がinput[1], …に入る
	input = input.trim().split("\n");
	var e = input[0].split(' ').map((n) => (parseInt(n)))[0]
	var t = input[0].split(' ').map((n) => (parseInt(n)))[1]
	var earr = []
	var tarr = []
	var m = 10000
	for (i = e *10; i <= m; i++) {
		if (Math.floor(i * 0.08) == e && Math.floor(i * 0.1) == t) {
			ans = i
			break
		}
	}

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