直角三角形面积

输入已知直角三角形2直角边，求它的面积。（精确到小数点后2位）样例：输入：1 5输出2.50

#include <stdio.h>
#include <math.h>
int main() {
 double a,b,s;
 scanf("%lf%lf",&a,&b);
 s=0.5*a*b;
 printf("%.2f",s);
 return 0;
}