#include<bits/stdc++.h>
using namespace std;
double a,b;
int main(){
	cin>>a>>b;
	printf("%.2lf",a-b*0.8);
	return 0;
}