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

int main() {
  int A,B,ans=-1;
  cin >> A >> B;
  for(int i=0;i<100000;i++){
    if((2*i)/25==A&&i/10==B){
      ans=i;
      break;
    }
  }
  cout << ans << endl;
}