Coleman and Seton Hall win 85-80 in OT against DePaul