3.5 · 5-COST CHAMPIONS