Match #82379

JBB: (matchcost 0.1) vs (CKOT4 [KTH])