测试数据来自 system/1353

时间限制：1秒　　内存限制：256M

【问题描述】

　　小明今天生日，邀请了一些朋友过来开生日会。妈妈专门去买了一个大蛋糕，蛋糕为一个 $n×m$ 的矩形，现在想把这个蛋糕分成 $1×2$ 的小块，并且要求必须是完整的小块，不能拼接。问一共能分成多少快。

【输入格式】

　　一行，两个正整数 $n,m$。

【输出格式】

　　一行，一个整数 $x$，表示最多能分多少块。

【输入输出样例1】

　Input

7 8

　Output

28

【输入输出样例2】

　Input

7 5

　Output

17

【数据限制】

　　对于 $100\%$ 的数据，有 $0 < n,m < 10000$。

【来源】

　　Mr.he