问题描述    
设直角三角形两条直角边长度为a和b，斜边长度为c，则a，b，c满足a^2+b^2=c^2，
输入三个整数a，b，c，判断对应的三角形是不是直角三角形，不是则输出“no”，是则输出其面积的2倍。

输入说明    
数据由同一行的三个整数a，b，c构成，整数之间以空格分隔

输出说明    
如果输入的三个整数可以构成一个直角三角形，则输出一个整数表示该三角形面积的2倍；否则输出“no”

输入样例
样例1输入
1 1 2
样例2输入
3 4 5

输出样例    
样例1输出
no
样例2输出
12

int main() {
    int a, b, c;
    scanf("%d %d %d", &a, &b, &c);
    if (a * a + b * b == c * c)
        printf("%d\n", a * b);
    else printf("no\n");
    return 0;
}