Tossup Senate Race Combo: which states will Democrats win?

If the winning party for the Class II Senate seat of Texas is the Democratic Party, AND the Class II Senate seat of Alaska is the Democratic Party, AND the Class II Senate seat of Iowa is the Democratic Party, AND the Class III Senate seat of Ohio is the Democratic Party for the term beginning in 2027, then the market resolves to Yes.