:- initialization(main).

scanf(X) :-
	read_line_to_codes(user_input, Codes),
	string_to_atom(Codes, Atom),
	atom_number(Atom, X).

solve(N, Va, Fe, Li, Car, Cam, Dae) :- (N =< 0), write('Vendeu '), writeln(Dae), halt.

solve(N, Va, Fe, Li, Car, Cam, Dae) :-
	QVa is 100 * N,
	QFe is (300 * N),
	QLi is (0.25 * N),
	QCar is (50 * N),
	QCam is (30 * N),

	( QVa =< Va ) -> (
		NVa is (Va - QVa),
		NFe is (Fe - QFe),
		NLi is (Li - QLi),
		NCar is (Car - QCar),
		NCam is (Cam - QCam),
		Waaaw is Dae + N,
		vrau(NVa, NFe, NLi, NCar, NCam, Waaaw)
	);
	writeln('Me desculpe meu rei').

vrau(Vatap, Feijm, Lim, Caru, Camar, Dae) :-
	scanf(Valor),
	solve(Valor, Vatap, Feijm, Lim, Caru, Camar, Dae).

main :-
	scanf(Vatapa),
	scanf(Feijao),
	scanf(Limao),
	scanf(Caruru),
	scanf(Camarao),

	vrau(Vatapa, Feijao, Limao, Caruru, Camarao, 0),
	halt.