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