记录编号	7839	评测结果	AAAAAAAAWT
题目名称	美酒节赛羊	最终得分	80
用户昵称	zpl123	是否通过	未通过
代码语言	Pascal	运行时间	2.400 s
提交时间	2008-11-11 21:00:26	内存使用	0.11 MiB

program goat1;
type
 t1=array[-5..105] of longint;
var
f1,f2:t1;
s,p:longint;

procedure init;
var
i:longint;
begin
assign(input,'goat.in');
reset(input);
assign(output,'goat.out');
rewrite(output);
readln(s,p);
close(input);
fillchar(f1,sizeof(f1),0);
fillchar(f2,sizeof(f2),0);
end;


procedure print(t1:longint);
begin
writeln(t1);
close(output);
halt;
end;

procedure main;
var
t,i:longint;
f:boolean;
begin
f:=true;
t:=0;
while f do
 begin
 inc(t);
 for i:=0 to p do
  begin
  if (i+1<p) then f2[i]:=f1[i+1]+1;
  if (f2[i]<(f1[i]+1))and(i=0) then f2[i]:=f1[i]+1;
  if (i>2) then if (f2[i]<=(f1[i-2]+5)) then f2[i]:=f1[i-2]+5;
  if (i>5) then if (f2[i]<=(f1[i-5]+10)) then f2[i]:=f1[i-5]+10;

  if f2[i]>=s then print(t);
  end;
 for i:=0 to p do f1[i]:=f2[i];
 end;
end;

begin
init;
main;
end.