% 
% Gecode problem #9: 05.10, 5 x 5
%
* * _ _ _
* * _ _ _
_ _ _ _ _
_ _ _ * *
_ _ _ * *