% 
% Gecode problem #5: 05.06, 5 x 5
%
* _ _ _ _
_ _ _ _ _
_ _ _ _ _
_ _ _ _ _
_ _ _ _ *