% 
% Gecode problem #11: 15.02, 15 x 15
%
_ _ _ _ _ * _ _ _ _ * _ _ _ _
_ _ _ _ _ _ _ _ _ _ * _ _ _ _
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _
_ _ _ _ * _ _ _ _ _ _ _ _ _ _
_ _ _ * _ _ _ _ * _ _ _ * * *
* * * _ _ _ _ * _ _ _ * _ _ _
_ _ _ _ _ _ * _ _ _ * _ _ _ _
_ _ _ _ _ * _ _ _ * _ _ _ _ _
_ _ _ _ * _ _ _ * _ _ _ _ _ _
_ _ _ * _ _ _ * _ _ _ _ * * *
* * * _ _ _ * _ _ _ _ * _ _ _
_ _ _ _ _ _ _ _ _ _ * _ _ _ _
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _
_ _ _ _ * _ _ _ _ _ _ _ _ _ _
_ _ _ _ * _ _ _ _ * _ _ _ _ _