Match #6424

IHT4.5: (OTWGE) vs (Rtzero)