#include<bits/stdc++.h>
using namespace std;
int main(){
  double A,B;
  cin >> A >> B;
  int ans=-1;
  for(double i=50000;i>0;i--){
    if(floor(i*0.08)==A&&floor(i*0.1)==B) ans = i;
  }
  cout << ans;
}
