% 
% Gecode problem #58: puzzle09, 7 x 7
%
* * _ _ _ * *
* _ _ _ _ _ *
_ _ _ * _ _ _
_ _ _ _ _ _ _
_ _ _ * _ _ _
* _ _ _ _ _ *
* * _ _ _ * *