#include <bits/stdc++.h>
using namespace std;
typedef long long ll;



int main(){
	ll a,b;
	cin>>a>>b;
	for(int i=1;i<2000;i++){
		if(i*8/100==a&&i/10==b){
			cout<<i;
			return 0;
		}
	}
	cout<<-1;
	return 0;
}
