% 
% Gecode problem #60: puzzle11, 7 x 7
%
* * _ _ _ _ *
* _ _ _ _ _ _
_ _ _ * _ _ _
_ _ _ * _ _ _
_ _ _ * _ _ _
_ _ _ _ _ _ *
* _ _ _ _ * *