记录编号	7860	评测结果	AAAAAAAAAA
题目名称	美酒节赛羊	最终得分	100
用户昵称	Achilles	是否通过	通过
代码语言	Pascal	运行时间	1.548 s
提交时间	2008-11-11 21:44:00	内存使用	0.12 MiB

program goat;
var
  sz:array[0..1,0..100]of longint;
  s,p,i,j,min,p2,q1,q2:longint;
begin
  assign(input,'goat.in');
  assign(output,'goat.out');
  reset(input);
  rewrite(output);
  readln(s,p);
  fillchar(sz,sizeof(sz),0);
  p2:=0;
  min:=0;
  q1:=0;
  q2:=1;
  if s=0 then p2:=1;
  while p2=0 do
  begin
    min:=min+1;
    for i:=0 to p do
    begin
      if i-5>0 then if sz[q1,i-5]+10>sz[q2,i] then sz[q2,i]:=sz[q1,i-5]+10;
      if i-2>0 then if sz[q1,i-2]+5>sz[q2,i] then sz[q2,i]:=sz[q1,i-2]+5;
      if i+1<=p then if sz[q1,i+1]+1>sz[q2,i] then sz[q2,i]:=sz[q1,i+1]+1;
      if i=p then if sz[q1,p]+1>sz[q2,p] then sz[q2,p]:=sz[q1,p]+1;
    end;
    if sz[q2,p]>=s then begin
      p2:=1;
      break;
    end;
    q1:=q2;
    q2:=abs(1-q1);
  end;
  writeln(min);
  close(input);
  close(output);
end.