import java.math.BigDecimal;
import java.util.Scanner;

public class Main {

	public static void main(String[] args) {

		try(Scanner sc = new Scanner(System.in)) {
			int a = sc.nextInt();
			int b = sc.nextInt();
			BigDecimal x1 = new BigDecimal(a).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_CEILING);
			if(x1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.08")).intValue() == a) {
				x1 = x1.subtract(BigDecimal.ONE);
			}
			BigDecimal x2 = new BigDecimal(a + 1).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(a + 1).remainder(new BigDecimal("0.08")).equals(BigDecimal.ZERO)) {
				x2 = x2.subtract(BigDecimal.ONE);
			}
			BigDecimal y1 = new BigDecimal(b).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_CEILING);
			if(y1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.1")).intValue() == b) {
				y1 = y1.subtract(BigDecimal.ONE);
			}
			BigDecimal y2 = new BigDecimal(b + 1).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(b + 1).remainder(new BigDecimal("0.1")).equals(BigDecimal.ZERO)) {
				y2 = y2.subtract(BigDecimal.ONE);
			}

			int min = Math.max(x1.intValue(), y1.intValue());
			int max = Math.min(x2.intValue(), y2.intValue());
			if(min <= max) {
				System.out.println(min);
			} else {
				System.out.println("-1");
			}
		}

	}

} import java.math.BigDecimal; BigDecimal java.math import java.util.Scanner; Scanner java.util public class Main {

	public static void main(String[] args) {

		try(Scanner sc = new Scanner(System.in)) {
			int a = sc.nextInt();
			int b = sc.nextInt();
			BigDecimal x1 = new BigDecimal(a).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_CEILING);
			if(x1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.08")).intValue() == a) {
				x1 = x1.subtract(BigDecimal.ONE);
			}
			BigDecimal x2 = new BigDecimal(a + 1).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(a + 1).remainder(new BigDecimal("0.08")).equals(BigDecimal.ZERO)) {
				x2 = x2.subtract(BigDecimal.ONE);
			}
			BigDecimal y1 = new BigDecimal(b).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_CEILING);
			if(y1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.1")).intValue() == b) {
				y1 = y1.subtract(BigDecimal.ONE);
			}
			BigDecimal y2 = new BigDecimal(b + 1).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(b + 1).remainder(new BigDecimal("0.1")).equals(BigDecimal.ZERO)) {
				y2 = y2.subtract(BigDecimal.ONE);
			}

			int min = Math.max(x1.intValue(), y1.intValue());
			int max = Math.min(x2.intValue(), y2.intValue());
			if(min <= max) {
				System.out.println(min);
			} else {
				System.out.println("-1");
			}
		}

	}

} Main public static void main(String[] args) {

		try(Scanner sc = new Scanner(System.in)) {
			int a = sc.nextInt();
			int b = sc.nextInt();
			BigDecimal x1 = new BigDecimal(a).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_CEILING);
			if(x1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.08")).intValue() == a) {
				x1 = x1.subtract(BigDecimal.ONE);
			}
			BigDecimal x2 = new BigDecimal(a + 1).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(a + 1).remainder(new BigDecimal("0.08")).equals(BigDecimal.ZERO)) {
				x2 = x2.subtract(BigDecimal.ONE);
			}
			BigDecimal y1 = new BigDecimal(b).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_CEILING);
			if(y1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.1")).intValue() == b) {
				y1 = y1.subtract(BigDecimal.ONE);
			}
			BigDecimal y2 = new BigDecimal(b + 1).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(b + 1).remainder(new BigDecimal("0.1")).equals(BigDecimal.ZERO)) {
				y2 = y2.subtract(BigDecimal.ONE);
			}

			int min = Math.max(x1.intValue(), y1.intValue());
			int max = Math.min(x2.intValue(), y2.intValue());
			if(min <= max) {
				System.out.println(min);
			} else {
				System.out.println("-1");
			}
		}

	} main {

		try(Scanner sc = new Scanner(System.in)) {
			int a = sc.nextInt();
			int b = sc.nextInt();
			BigDecimal x1 = new BigDecimal(a).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_CEILING);
			if(x1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.08")).intValue() == a) {
				x1 = x1.subtract(BigDecimal.ONE);
			}
			BigDecimal x2 = new BigDecimal(a + 1).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(a + 1).remainder(new BigDecimal("0.08")).equals(BigDecimal.ZERO)) {
				x2 = x2.subtract(BigDecimal.ONE);
			}
			BigDecimal y1 = new BigDecimal(b).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_CEILING);
			if(y1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.1")).intValue() == b) {
				y1 = y1.subtract(BigDecimal.ONE);
			}
			BigDecimal y2 = new BigDecimal(b + 1).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(b + 1).remainder(new BigDecimal("0.1")).equals(BigDecimal.ZERO)) {
				y2 = y2.subtract(BigDecimal.ONE);
			}

			int min = Math.max(x1.intValue(), y1.intValue());
			int max = Math.min(x2.intValue(), y2.intValue());
			if(min <= max) {
				System.out.println(min);
			} else {
				System.out.println("-1");
			}
		}

	} try(Scanner sc = new Scanner(System.in)) {
			int a = sc.nextInt();
			int b = sc.nextInt();
			BigDecimal x1 = new BigDecimal(a).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_CEILING);
			if(x1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.08")).intValue() == a) {
				x1 = x1.subtract(BigDecimal.ONE);
			}
			BigDecimal x2 = new BigDecimal(a + 1).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(a + 1).remainder(new BigDecimal("0.08")).equals(BigDecimal.ZERO)) {
				x2 = x2.subtract(BigDecimal.ONE);
			}
			BigDecimal y1 = new BigDecimal(b).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_CEILING);
			if(y1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.1")).intValue() == b) {
				y1 = y1.subtract(BigDecimal.ONE);
			}
			BigDecimal y2 = new BigDecimal(b + 1).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(b + 1).remainder(new BigDecimal("0.1")).equals(BigDecimal.ZERO)) {
				y2 = y2.subtract(BigDecimal.ONE);
			}

			int min = Math.max(x1.intValue(), y1.intValue());
			int max = Math.min(x2.intValue(), y2.intValue());
			if(min <= max) {
				System.out.println(min);
			} else {
				System.out.println("-1");
			}
		} {
			int a = sc.nextInt();
			int b = sc.nextInt();
			BigDecimal x1 = new BigDecimal(a).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_CEILING);
			if(x1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.08")).intValue() == a) {
				x1 = x1.subtract(BigDecimal.ONE);
			}
			BigDecimal x2 = new BigDecimal(a + 1).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(a + 1).remainder(new BigDecimal("0.08")).equals(BigDecimal.ZERO)) {
				x2 = x2.subtract(BigDecimal.ONE);
			}
			BigDecimal y1 = new BigDecimal(b).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_CEILING);
			if(y1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.1")).intValue() == b) {
				y1 = y1.subtract(BigDecimal.ONE);
			}
			BigDecimal y2 = new BigDecimal(b + 1).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(b + 1).remainder(new BigDecimal("0.1")).equals(BigDecimal.ZERO)) {
				y2 = y2.subtract(BigDecimal.ONE);
			}

			int min = Math.max(x1.intValue(), y1.intValue());
			int max = Math.min(x2.intValue(), y2.intValue());
			if(min <= max) {
				System.out.println(min);
			} else {
				System.out.println("-1");
			}
		} Scanner sc = new Scanner(System.in) Scanner sc = new Scanner(System.in) new Scanner(System.in) int a = sc.nextInt(); a sc.nextInt() sc.nextInt sc int b = sc.nextInt(); b sc.nextInt() sc.nextInt sc BigDecimal x1 = new BigDecimal(a).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_CEILING); x1 new BigDecimal(a).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_CEILING) new BigDecimal(a).divide new BigDecimal(a) new BigDecimal("0.08") 0 BigDecimal.ROUND_CEILING BigDecimal BigDecimal.ROUND_CEILING if(x1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.08")).intValue() == a) {
				x1 = x1.subtract(BigDecimal.ONE);
			} x1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.08")).intValue() == a x1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.08")).intValue() x1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.08")).intValue x1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.08")) x1.subtract(BigDecimal.ONE).multiply x1.subtract(BigDecimal.ONE) x1.subtract x1 BigDecimal.ONE BigDecimal BigDecimal.ONE new BigDecimal("0.08") a {
				x1 = x1.subtract(BigDecimal.ONE);
			} x1 = x1.subtract(BigDecimal.ONE) x1 x1.subtract(BigDecimal.ONE) x1.subtract x1 BigDecimal.ONE BigDecimal BigDecimal.ONE BigDecimal x2 = new BigDecimal(a + 1).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_FLOOR); x2 new BigDecimal(a + 1).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_FLOOR) new BigDecimal(a + 1).divide new BigDecimal(a + 1) new BigDecimal("0.08") 0 BigDecimal.ROUND_FLOOR BigDecimal BigDecimal.ROUND_FLOOR if(new BigDecimal(a + 1).remainder(new BigDecimal("0.08")).equals(BigDecimal.ZERO)) {
				x2 = x2.subtract(BigDecimal.ONE);
			} new BigDecimal(a + 1).remainder(new BigDecimal("0.08")).equals(BigDecimal.ZERO) new BigDecimal(a + 1).remainder(new BigDecimal("0.08")).equals new BigDecimal(a + 1).remainder(new BigDecimal("0.08")) new BigDecimal(a + 1).remainder new BigDecimal(a + 1) new BigDecimal("0.08") BigDecimal.ZERO BigDecimal BigDecimal.ZERO {
				x2 = x2.subtract(BigDecimal.ONE);
			} x2 = x2.subtract(BigDecimal.ONE) x2 x2.subtract(BigDecimal.ONE) x2.subtract x2 BigDecimal.ONE BigDecimal BigDecimal.ONE BigDecimal y1 = new BigDecimal(b).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_CEILING); y1 new BigDecimal(b).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_CEILING) new BigDecimal(b).divide new BigDecimal(b) new BigDecimal("0.1") 0 BigDecimal.ROUND_CEILING BigDecimal BigDecimal.ROUND_CEILING if(y1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.1")).intValue() == b) {
				y1 = y1.subtract(BigDecimal.ONE);
			} y1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.1")).intValue() == b y1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.1")).intValue() y1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.1")).intValue y1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.1")) y1.subtract(BigDecimal.ONE).multiply y1.subtract(BigDecimal.ONE) y1.subtract y1 BigDecimal.ONE BigDecimal BigDecimal.ONE new BigDecimal("0.1") b {
				y1 = y1.subtract(BigDecimal.ONE);
			} y1 = y1.subtract(BigDecimal.ONE) y1 y1.subtract(BigDecimal.ONE) y1.subtract y1 BigDecimal.ONE BigDecimal BigDecimal.ONE BigDecimal y2 = new BigDecimal(b + 1).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_FLOOR); y2 new BigDecimal(b + 1).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_FLOOR) new BigDecimal(b + 1).divide new BigDecimal(b + 1) new BigDecimal("0.1") 0 BigDecimal.ROUND_FLOOR BigDecimal BigDecimal.ROUND_FLOOR if(new BigDecimal(b + 1).remainder(new BigDecimal("0.1")).equals(BigDecimal.ZERO)) {
				y2 = y2.subtract(BigDecimal.ONE);
			} new BigDecimal(b + 1).remainder(new BigDecimal("0.1")).equals(BigDecimal.ZERO) new BigDecimal(b + 1).remainder(new BigDecimal("0.1")).equals new BigDecimal(b + 1).remainder(new BigDecimal("0.1")) new BigDecimal(b + 1).remainder new BigDecimal(b + 1) new BigDecimal("0.1") BigDecimal.ZERO BigDecimal BigDecimal.ZERO {
				y2 = y2.subtract(BigDecimal.ONE);
			} y2 = y2.subtract(BigDecimal.ONE) y2 y2.subtract(BigDecimal.ONE) y2.subtract y2 BigDecimal.ONE BigDecimal BigDecimal.ONE int min = Math.max(x1.intValue(), y1.intValue()); min Math.max(x1.intValue(), y1.intValue()) Math.max Math x1.intValue() x1.intValue x1 y1.intValue() y1.intValue y1 int max = Math.min(x2.intValue(), y2.intValue()); max Math.min(x2.intValue(), y2.intValue()) Math.min Math x2.intValue() x2.intValue x2 y2.intValue() y2.intValue y2 if(min <= max) {
				System.out.println(min);
			} else {
				System.out.println("-1");
			} min <= max min max {
				System.out.println(min);
			} System.out.println(min) System.out.println System.out System System.out min {
				System.out.println("-1");
			} System.out.println("-1") System.out.println System.out System System.out "-1" String[] args args public class Main {

	public static void main(String[] args) {

		try(Scanner sc = new Scanner(System.in)) {
			int a = sc.nextInt();
			int b = sc.nextInt();
			BigDecimal x1 = new BigDecimal(a).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_CEILING);
			if(x1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.08")).intValue() == a) {
				x1 = x1.subtract(BigDecimal.ONE);
			}
			BigDecimal x2 = new BigDecimal(a + 1).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(a + 1).remainder(new BigDecimal("0.08")).equals(BigDecimal.ZERO)) {
				x2 = x2.subtract(BigDecimal.ONE);
			}
			BigDecimal y1 = new BigDecimal(b).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_CEILING);
			if(y1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.1")).intValue() == b) {
				y1 = y1.subtract(BigDecimal.ONE);
			}
			BigDecimal y2 = new BigDecimal(b + 1).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(b + 1).remainder(new BigDecimal("0.1")).equals(BigDecimal.ZERO)) {
				y2 = y2.subtract(BigDecimal.ONE);
			}

			int min = Math.max(x1.intValue(), y1.intValue());
			int max = Math.min(x2.intValue(), y2.intValue());
			if(min <= max) {
				System.out.println(min);
			} else {
				System.out.println("-1");
			}
		}

	}

} public class Main {

	public static void main(String[] args) {

		try(Scanner sc = new Scanner(System.in)) {
			int a = sc.nextInt();
			int b = sc.nextInt();
			BigDecimal x1 = new BigDecimal(a).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_CEILING);
			if(x1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.08")).intValue() == a) {
				x1 = x1.subtract(BigDecimal.ONE);
			}
			BigDecimal x2 = new BigDecimal(a + 1).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(a + 1).remainder(new BigDecimal("0.08")).equals(BigDecimal.ZERO)) {
				x2 = x2.subtract(BigDecimal.ONE);
			}
			BigDecimal y1 = new BigDecimal(b).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_CEILING);
			if(y1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.1")).intValue() == b) {
				y1 = y1.subtract(BigDecimal.ONE);
			}
			BigDecimal y2 = new BigDecimal(b + 1).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(b + 1).remainder(new BigDecimal("0.1")).equals(BigDecimal.ZERO)) {
				y2 = y2.subtract(BigDecimal.ONE);
			}

			int min = Math.max(x1.intValue(), y1.intValue());
			int max = Math.min(x2.intValue(), y2.intValue());
			if(min <= max) {
				System.out.println(min);
			} else {
				System.out.println("-1");
			}
		}

	}

} Main
import java.math.BigDecimal;
import java.util.Scanner;

public class Main {

	public static void main(String[] args) {

		try(Scanner sc = new Scanner(System.in)) {
			int a = sc.nextInt();
			int b = sc.nextInt();
			BigDecimal x1 = new BigDecimal(a).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_CEILING);
			if(x1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.08")).intValue() == a) {
				x1 = x1.subtract(BigDecimal.ONE);
			}
			BigDecimal x2 = new BigDecimal(a + 1).divide(new BigDecimal("0.08"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(a + 1).remainder(new BigDecimal("0.08")).equals(BigDecimal.ZERO)) {
				x2 = x2.subtract(BigDecimal.ONE);
			}
			BigDecimal y1 = new BigDecimal(b).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_CEILING);
			if(y1.subtract(BigDecimal.ONE).multiply(new BigDecimal("0.1")).intValue() == b) {
				y1 = y1.subtract(BigDecimal.ONE);
			}
			BigDecimal y2 = new BigDecimal(b + 1).divide(new BigDecimal("0.1"), 0, BigDecimal.ROUND_FLOOR);
			if(new BigDecimal(b + 1).remainder(new BigDecimal("0.1")).equals(BigDecimal.ZERO)) {
				y2 = y2.subtract(BigDecimal.ONE);
			}

			int min = Math.max(x1.intValue(), y1.intValue());
			int max = Math.min(x2.intValue(), y2.intValue());
			if(min <= max) {
				System.out.println(min);
			} else {
				System.out.println("-1");
			}
		}

	}

}
