% 
% Gecode problem #50: puzzle01, 2 x 2
%
_ *
_ _