% 
% Gecode problem #7: 05.08, 5 x 5
%
* _ _ _ *
_ _ _ _ _
_ _ _ _ _
_ _ _ _ _
* _ _ _ *