% 
% Gecode problem #59: puzzle10, 7 x 7
%
_ _ _ * _ _ _
_ _ _ * _ _ _
_ _ _ _ _ _ _
* * _ * _ * *
_ _ _ _ _ _ _
_ _ _ * _ _ _
_ _ _ * _ _ _