In one of the hotels of the wellness planet Oxys, there are $2019$ saunas. The managers have decided to accommodate $k$ couples for the upcoming long weekend. We know the following about the guests: if two women know each other then their husbands also know each other, and vice versa. There are several restrictions on the usage of saunas. Each sauna can be used by either men only, or women only (but there is no limit on the number of people using a sauna at once, as long as they are of a single gender). Each woman is only willing to share a sauna with women whom she knows, and each man is only willing to share a sauna with men whom he does not know. What is the greatest possible $k$ for which we can guarantee, without knowing the exact relationships between the couples, that all the guests can use the saunas simultaneously while respecting the restrictions above?