#include <stdio.h>
#include <stdlib.h>
#include <math.h>

int* top_middle_bottom(int a,int b,int c){
    int* sides = (int*)malloc(sizeof(int)*3);
    if(a<b) {
        if(b<c){
            sides[0] = a;
            sides[1] = b;
            sides[2] = c;
        } else {
            sides[2] = b;
            if(a<c){
                sides[0] = a;
                sides[1] = c;
            } else {
                sides[0] = c;
                sides[1] = a;
            }
        }
    } else {
        if(a<c){
            sides[0] = b;
            sides[1] = a;
            sides[2] = c;
        } else {
            sides[2] = a;
            if(b<c){
                sides[0] = b;
                sides[1] = c;
            } else {
                sides[0] = c;
                sides[1] = b;
            }
        }
    }
    return sides;
}

int main(void)
{
    int i,j;
    int* sides;
    int a,b,c;
    int x,y,z;
    double s,large_s,max_ls = 0.0;
    for(i=2;i<10;i++){
        for(j=2;j<10;j++){
            sides = top_middle_bottom(i, j, 20-i-j);
            a = sides[2];
            b = sides[1];
            c = sides[0];
            if(a >= b+c) continue;
            s = (a+b+c)/2.0;
            large_s = sqrt(s*(s-a)*(s-b)*(s-c));
            if(large_s > max_ls){
                max_ls =large_s;
                x = a;
                y = b;
                z = c;
            }
        }
    }

    printf("x=%d, y=%d, z=%d, 面積=%lf\n", x, y, z, max_ls);

    return 0;
}