% 
% Gecode problem #52: puzzle03, 4 x 4
%
_ _ _ *
_ _ _ _
_ _ _ _
* _ _ _