package yukicoder;

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

public class N445 {

	public static void main(String[] args)
	{
		Scanner sc=new Scanner(System.in);
		int A=sc.nextInt(),B=sc.nextInt();
		BigDecimal aa=new BigDecimal(A);
		BigDecimal bb=new BigDecimal(B);
		BigDecimal a=new BigDecimal(0.8);
		BigDecimal b=new BigDecimal(0.2);
		BigDecimal a5=new BigDecimal(50);


		BigDecimal ans=a5.multiply(aa).divide((a.add(b.multiply(bb))),0,BigDecimal.ROUND_CEILING);
		BigDecimal disp=ans.add(a5.multiply(aa));
		System.out.println(disp);
		
	}

}