% 
% Gecode problem #4: 05.05, 5 x 5
%
_ _ _ * *
_ _ _ * *
_ _ _ _ _
* * _ _ _
* * _ _ _