RADIAN GROUP INC. (a Delaware corporation)