FORT WORTH, Texas (AP) — Damion Baugh had 16 points and 10 assists, big man Eddie Lampkin Jr. made an unexpected return from injury and 15th-ranked TCU overcame the absence of top scorer Mike Miles Jr. to beat West Virginia 76-72 on Tuesday night.

JaKobe Coles had 17 points, Shahada Wells 16 points and Xavier Cork 15 for the Horned Frogs (17-5, 6-3 Big 12), who wrapped up the first half of their conference schedule in a four-way tie with No. 7 Kansas State, No. 8 Kansas and No. 13 Iowa State for second place. They are all one game behind league-leading No. 10 Texas.

Erik Stevenson had 17 points and Tre Mitchell 15 for West Virginia (13-9, 2-7).