Virginia loses to High Point in overtime.