The trade works when you do Shamet for Holmes as a separate trade. The Mavs would have to add picks to both teams. Maybe the 2027 1st to Washington and a second rounder to Cleveland