type diapazon=-20..60;

var a: array [1..15] of diapazon;

      i,max,min: integer;

begin

  max:=1;

  min:=1;

  for i:=1 to 15 do

    begin

      readln(a[i]);

      if a[i]>max then max:=a[i];

      if a[i]<min then min:=a[i];

    end;

  if (max/min) > 2 then writeln('Верно') else writeln('Неверно');

end.