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