#include <bits/stdc++.h>
int main() {
  double a, b;
  int i, a_i, b_i;
  scanf("%lf%lf", &a, &b);
  for (i = 0; i <= 1001; i++) {
    a_i = i * 0.08;
    b_i = i * 0.10;
    if (a_i == a && b_i == b) break;
    if (i == 1001) {
      i = -1;
      break;
    }
  }
  printf("%d", i);
}
