Football INSTANT ANALYSIS: Punt coverage costs Kentucky in OT loss to Texas