New clause: Every row contains at least one number in range 1..9.
New clause: Every row contains exactly one value.
New clause: Every column contains at least one value.
New clause: Every column contains exactly one value.
Fixed: Some comments.