% 
% Gecode problem #0: 05.01, 5 x 5
%
_ _ _ _ _
_ _ _ _ _
_ _ _ _ _
_ _ _ _ _
_ _ _ _ _