记录编号	7765	评测结果	AAAAAAAAAA
题目名称	美酒节赛羊	最终得分	100
用户昵称	elysian	是否通过	通过
代码语言	Pascal	运行时间	1.865 s
提交时间	2008-11-11 16:48:16	内存使用	0.11 MiB

program elysian;
const
fin='goat.in';fout='goat.out';
var
f:array[0..1,0..110] of longint;
sn,pn,ans:longint;
f1,f2:text;


procedure print;
begin
assign(f2,fout);rewrite(f2);
writeln(f2,ans);
close(f2);
halt;
end;

procedure main;
var
p,i,t,x:longint;
begin
t:=0;x:=0;
repeat
inc(t);
x:=1-x;
for p:=0 to pn-1 do
 begin
   if (p-2>=0)and(f[1-x,p-2]+5>=f[x,p]) then f[x,p]:=f[1-x,p-2]+5;
   if (p-5>=0)and(f[1-x,p-5]+10>=f[x,p]) then f[x,p]:=f[1-x,p-5]+10;

   if (p+1<pn)and(t>1) then
   if f[1-x,p+1]+1>f[x,p] then f[x,p]:=f[1-x,p+1]+1;

   if p=0 then
      if f[1-x,0]+1>f[x,p] then f[x,p]:=f[1-x,0]+1;

if f[x,p]>=sn then
 begin
   ans:=t;
   print;
 end;

end;

until 1<>1;

end;

procedure init;
begin
assign(f1,fin);reset(f1);
readln(f1,sn,pn);
if pn=1 then begin ans:=sn;print;end;
close(f1);
fillchar(f,sizeof(f),0);
end;

begin
init;
main;
end.