Failed column and row permutation prevention; see 13/01/2013 in diary. Basically we can't use this manner of lexographic ordering, as not all permutations of a cyclic structure are also cyclic. This stops 17x17 being satisfiable (according to fz.eze)