dual(stacked12_s1)     f=(26, 52, 38, 12)  K6 minor (SAT): UNKNOWN; complete partition search: NO linked pair (partitions tested 340593)  (353 s)
