% 
% Gecode problem #51: puzzle02, 3 x 3
%
* _ _
_ _ _
_ _ _