triangle edge lengths 18, 15, 12