% 
% Gecode problem #55: puzzle06, 5 x 5
%
_ _ _ _ _
_ _ _ * _
_ _ _ _ _
_ * _ _ _
_ _ _ _ _