bryant jennings - mike perez is which boxing weight division?
(AND sports.boxing_weight_division (JOIN sports.boxing_weight_division.matches m.011c3vjt))