integrity constraint: paint each row/column only once
all example files give the correct number of solutions