Даны положительных числа a,b,c. Проверить могут ли они быть длинами сторон треугольника, если да, то вычесли его площадь. (составить программу для паскаля)

//Pascal ABC.NET 3.1 сборка 1256

Var
 a,b,c,s,p:real;
begin
readln(a,b,c);
if (a+b>c) and (b+c>a) and (a+c>b) then
 begin
  p:=(a+b+c)/2;
  s:=sqrt(p*(p-a)*(p-b)*(p-c));
  writeln('S=',s);
 end
 else
 writeln('Такого треугольника не существует.');
end.

Пример ввода:
3
4
3
Пример вывода:
S=4.47213595499958