Предполагам, че коефициентите са входните данни, а неизвестните са изходните. Ако е така:

program asdf;

var
a,a1,a2,a3,a4,x1,x2,x3,x4: integer;
reshenie: boolean;

begin
reshenie = false;

write('a='); readln(a);
write('a1='); readln(a1);
write('a2='); readln(a2);
write('a3='); readln(a3);
write('a4='); readln(a4);

for x1 := 4 to 7
begin

for x2 := 4 to 7
begin

for x3 := 0 to 3
begin

for x4:= 0 to 3
begin

if (a1*x1+a2*x2+a3*x3+a4*x4=a) then
begin
reshenie = true;
writeln('x1=',x1);
writeln('x2=',x2);
writeln('x3=',x3);
writeln('x4=',x4);
end;

end;
end;
end;
end;

if reshenie = false then
writeln('Uravnenieto nqma koreni v zadadenata def. oblast');

end.