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

int main(){
  int a,b;
  cin >> a >> b;
  
  int k=-1;
  
  for(int i=b*10;i<b*10+10;i++){
    if(i*2/25==a){
      k=i;
      break;
    }
  }
  cout << k << endl;
}