你可以每次在确定了一个可行解后将它用ans记录一下，最后再输出ans就行。

while l<=r do
  begin
    mid:=(l+r)div 2;
    if OK(mid) then begin ans:=mid;l:=mid+1; end else r:=mid-1; 
  end;

writeln(ans);

这样..