Помогите понять логику программы (Pascal)

[WeaKill47]

Программа легкая, но у меня она вызывает трудности, программа по сути должна решать задачу:

дано М-монахов и N-пирогов
монахи едят пироги в зависимости от ранга
1-ого ранга 10 пирогов, 2-ого 5, 3-его 0,5
сколько было 1-ого 2-ого и 3-его ранга монахов в отдельности?

Программа работает но вот код сам не понимаю можете объяснить что на каком этапе выполняется, как бы текстовый алгоритм выполнения программы. Буду очень благодарен за помощь!

program MONKS;

{$APPTYPE CONSOLE}

uses
  SysUtils;

var
n1,a,b,c:integer;
b0,n2,a1,b1,c1:extended;
k:boolean;

begin

writeln('vvedite chisla: ');
readln(n1,n2,a1,b1,c1);
k:=false;
a:=0;

while(a*a1<=n1) do begin
b0:=(n2-n1*c1-a*(a1-c1))/(b1-c1);
b:=trunc(b0);

if((b=b0) and (b>=0) and (a+b<=n1)) then begin
c:=n1-a-b;
writeln(a,b,c);
k:=true;

end;
a:=a+1;
end;
if(k=false) then
writeln('monaxov net');

readln;

end.