some companies resolved this thorny issue by making the 4th (observed) and two floating holidays bridge to the weekend, such that there is always a five-day weekend in mid-summer. this also serves to regularize summer vacation days, as taking the other two days gives you a nine-day "weekend" (or taking 7 days gives you 16, etc.)