Решение 

8AC=>: 

SO = 7, `and`(AB = BC, `and`(BC = AC, AC = `+`(`*`(4, `*`(sqrt(3)))))) 

 

`and`(S[A5G5=8O] = S[SBH], `and`(S[SBH] = `+`(`*`(`/`(1, 2), `*`(SO, `*`(BH)))), `and`(`+`(`*`(`/`(1, 2), `*`(SO, `*`(BH)))) = `*`(`/`(7, 2), 6), `*`(`/`(7, 2), 6) = 21))) 

Ответ 

Г