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