% 
% Gecode problem #2: 05.03, 5 x 5
%
_ _ _ _ *
_ _ _ _ *
_ _ _ _ _
* _ _ _ _
* _ _ _ _