New clause: Every cell contains only one value.
Fixed: Number of clauses reported for the first clause was wrong.
       (was 729 when 81 was the correct number)