import std.stdio;
import std.conv;
import std.string;
import std.typecons;
import std.algorithm;
import std.array;
import std.range;
import std.math;
import std.regex : regex;
import std.container;
import std.bigint;
import std.numeric;


void main()
{
  int a, b;
  readf("%s %s\n", &a, &b);
  auto res = -1;
  foreach (i; 1..max(a, b)*20) {
    auto x = (i * 0.08).to!int;
    auto y = (i * 0.1).to!int;
    if (a == x && b == y) {
      res = i;
      break;
    }
  }
  res.writeln;
}
