Saturated Chain Partitions in Ranked Partially Ordered Sets, and Non-monotone Symmetric 11-Venn Diagrams.