% 
% Gecode problem #57: puzzle08, 7 x 7
%
_ _ _ _ * _ _
_ _ _ * _ _ _
_ _ * _ _ _ *
_ _ _ _ _ _ _
* _ _ _ * _ _
_ _ _ * _ _ _
_ _ * _ _ _ _