/*
    11.  Is there a number which when divided by 3 gives a remainder of 1;
    when divided by 4, gives a remainder of 2; when divided by 5, gives a
    remainder of 3; and when divided by 6, gives a remainder of 4? 
    (Kordemsky)
*/

:- lib(ic).

solve(X) :-
	X #> 0,
	X #= A*3 + 1,
	X #= B*4 + 2,
	X #= C*5 + 3,
	X #= D*6 + 4,
	labeling([X,A,B,C,D]).