% 
% Gecode problem #56: puzzle07, 6 x 6
%
_ _ _ _ _ *
_ * _ _ _ _
_ _ _ * _ _
_ _ * _ _ _
_ _ _ _ * _
* _ _ _ _ _