let n = readLine()
let narr = n!.characters.split{$0 == " "}.map(String.init)
let a = Double(narr[0])!
let b = Double(narr[1])!
if ((a/0.08) >= (b/0.1)) {
  print(Int(a/0.08))
}
else {
  print("-1")
}