Question: Mário Neto has a victory in MMA over the professional boxer who competes in what division?

full_context: Document 1: Marcus Aurélio: Marcus Aurélio Martins (] ; born August 18, 1974) is a Brazilian mixed martial artist. He formerly fought for the PRIDE Fighting Championships and for the Ultimate Fighting Championship. He currently fights as a lightweight, and primarily employs Brazilian Jiu Jitsu. He is known for having never been finished in MMA competition.
Document 2: Randy Couture: Randall "Randy" Duane Couture ( ; born June 22, 1963) is an American actor, retired United States Army Sergeant, retired mixed martial artist and former collegiate and Greco-Roman wrestler. During his tenures in the Ultimate Fighting Championship (UFC), Couture became a three-time UFC Heavyweight Champion, two-time UFC Light Heavyweight Champion, an interim UFC Light Heavyweight Champion and the UFC 13 Heavyweight Tournament Winner. Couture is the first of only three fighters to hold two UFC championship titles in two different divisions (along with B.J. Penn and Conor McGregor).
Document 3: Renato Sobral: Renato da Cunha Sobral (] ; born September 7, 1975), also known as "Babalu", is a retired Brazilian wrestler and mixed martial artist, and former Strikeforce Light Heavyweight Champion. Sobral previously fought in the Ultimate Fighting Championship, where he posted a 6–4 record and has also competed for Bellator, RINGS, Jungle Fight, Cage Rage, Affliction, and ONE FC. He is the Head Instructor of Babalu's Iron Gym Cerritos and has a Luta Livre black belt. He is also a Brazilian jiu-jitsu black belt under Carlos Gracie Jr. In his prime he was considered one of the top fighters in the world and defeated the likes of former Welterweight UFC Champion Robbie Lawler, former Light Heavyweight UFC Champion Shogun Rua, former Heavyweight UFC Champion Maurice Smith, along with former title contenders Chael Sonnen, Elvis Sinosic, and Jeremy Horn.
Document 4: Frank Mir: Francisco Santos "Frank" Mir, III (born May 24, 1979) is an American mixed martial artist, who competes for Bellator MMA in the Heavyweight division. He formerly competed in the Ultimate Fighting Championship (UFC) for sixteen years. A former UFC Heavyweight Champion, he currently holds the record for most fights, victories, and submissions in UFC Heavyweight history, and is tied for 4th most UFC victories overall. Up until his release, Mir possessed the longest uninterrupted tenure of any fighter in UFC history. He is the first man to knock out and submit Antônio Rodrigo Nogueira.
Document 5: Donald Cerrone: Donald Anthony Cerrone ( ; born March 29, 1983) is an American professional mixed martial artist and former professional kickboxer currently competing in the UFC's Lightweight and Welterweight divisions. He is ranked #6 in the official UFC Welterweight rankings tied with fellow Welterweight contender Neil Magny. A professional competitor since 2006, Cerrone has also formerly competed for the WEC. Cerrone currently holds the record for most post-fight bonuses (Fight/Performance of the Night, Knockout/Submissions of the Night) in UFC/WEC history with 18. He is also known as the "busiest" fighter in the UFC, due to consistently having at least four fights per year since 2013.
Document 6: Ronaldo Souza: Ronaldo Souza dos Santos (born December 7, 1979), nicknamed Jacaré (] ), is a Brazilian mixed martial artist, submission grappler and Brazilian jiu-jitsu practitioner competing in the UFC's middleweight division. Souza is the former Strikeforce Middleweight Champion, and has also formerly competed for DREAM, and Jungle Fight. As of February 11, 2016, he is #3 in official UFC middleweight rankings.
Document 7: Shannon Ritch: Shannon Grey Ritch (born September 27, 1970) is an American professional mixed martial artist, boxer, professional wrestler and kickboxer, known for being the former Gladiators Challenge Heavyweight Champion and KOTC Middleweight Champion also current RUF Interim Heavyweight Champion and IFC Middleweight Champion. A professional competitor since 1998, Ritch has competed for the MFC, Pancrase, K-1, PRIDE, Rebel Fighting Championship, King of the Cage and the WEC. Ritch has also has been featured in two episodes of Walker, Texas Ranger as a Biker Gang Member and a character named Knight, Choke in 2011 as an extra, CSI Las Vegas as Thug #2, an episode of iCarly as a MMA Fighter, an episode of Numbers in 2010, an episode of Ultimate Soldier Challenge on the History Channel representing a military contracting company and most recently in 2017 the direct to DVD film, directed by Robert Parham, Bullets, Blades and Blood and upcoming in 2018 No Way Out directed by Jeffrey D. Parker. Shannon claims he has over 200 professional MMA fights 112 wins, 88 losses and 2 draws, some fights going undocumented and dating back as far as 1991. His documented record of fights goes back to 1998 with a record of 56 wins, 81 loses, and 4 draws. Shannon also holds a 2-1 record in professional boxing and a 25-2 record in bare knuckle boxing with all of his wins coming by way of knockout, in 2017 he was inducted into the Bare Knuckle Boxing Hall of Fame and also plans to round out his boxing career in 2018 against boxing superstar Bobby Gunn. Ritch is also an occasional professional wrestler, recently in mid 2017 main eventing a card in Guyana. Shannon has also found success as a grappler winning multiple NAGA, Grapplers Quest and Abu Dhabi Combat Club competitions, most recently winning a gold medal in the super heavyweight division at the Grand Canyon 2017 BJJ Open in Arizona and a silver medal at the '17 Arizona State BJJ Championships. Ritch is also an avid golf player, winning 1st place in many state and pro am competitions held within his native Arizona as recent as 2017.
Document 8: Antônio Rodrigo Nogueira: Antônio Rodrigo Nogueira (] , born June 2, 1976), better known as Minotauro, is a semi-retired Brazilian mixed martial artist known for his technical mastery of Brazilian jiu-jitsu. He won most of his fights via submissions. He competed in the heavyweight division of the Ultimate Fighting Championship (UFC), where he is a former Interim UFC Heavyweight Champion. He is the twin brother of UFC fighter Antônio Rogério Nogueira. Nogueria rose to prominence in the Japanese promotion Pride Fighting Championships, where he was the first Pride Heavyweight Champion from November 2001 to March 2003, as well as a 2004 PRIDE FC Heavyweight Grand Prix Finalist. He is one of only three men to have held championship titles in both Pride Fighting Championships and the Ultimate Fighting Championship (the others being Mauricio Rua and Mark Coleman).
Document 9: Mário Neto: Mário Neto, known as Sukata (born 1974 in Brasília, Brazil) is a Brazilian mixed martial artist with a record of 12-5. He is now in his 15th year as a mixed martial artist with a victory over UFC veterans Seth Petruzelli, Travis Fulton and Gary Goodridge. Neto last defeated Dave Keeley by submission due to a guillotine choke at RFC - Recife Fighting Championship 5 in 2011.
Document 10: Mário Sperry: José Mário Sperry (born September 28, 1966) is a Brazilian heavyweight mixed martial artist. His specialty is Brazilian jiu-jitsu, grappling and ground fighting. He is also one of the founders of the Brazilian Top Team, where he trained fighters such as Antônio Rodrigo Nogueira, Antônio Rogério Nogueira, Ricardo Arona, and Paulo Filho, among others.
Document 11: Murilo Rua: Murilo "Ninja" Milani Rua (] ; born May 22, 1980) is a retired Brazilian mixed martial artist who fought in Pride Fighting Championships. He is the older brother of former UFC Light Heavyweight Champion Mauricio "Shogun" Rua. He is known for his aggressive Muay Thai style. Rua is a veteran of Pride Fighting Championships, where he once enjoyed a reputation as one of the best middleweights in the world. Rua regularly fought at 185 pounds, but has also fought at 205 pounds and heavyweight. He is the former (and first ever) EliteXC Middleweight Champion. He also had a successful career in mixed martial arts in England appearing on both Cage Rage and BAMMA cards. He is of Portuguese and Italian descent, but was born in Brazil.
Document 12: Skip Hall (MMA): J. "Skip" Hall is a former mixed martial artist and IBM sales manager. At 57, "Skip" claimed to be the oldest pro-debuting fighter, and in 2008 at the age of 63 he gained a measure of notoriety as an unusually old combat sports athlete. He was a participant in the Jasper City Slugfest in August 2006 against former UFC Superfight Champion Dan Severn, and retired in 2009 from active MMA fighting after declaring himself "Oldest Active MMA Fighter in history."
Document 13: Melvin Guillard: Melvin Paul Guillard, Jr. (born March 30, 1983) is an American mixed martial artist who competes in the Welterweight division. Guillard most notably competed in the Lightweight division of the Ultimate Fighting Championship (UFC) where he went (12–9), Bellator MMA (Bellator) where is went (0–3 (1)) and World Series of Fighting (WSOF) where he went (1–1). He debuted in the company on "The Ultimate Fighter 2" television series, losing to Josh Burkman by decision in the first Welterweight elimination bout. Guillard currently holds the UFC record for most TKO/KO victories (eight) in the Lightweight division, surpassing the previous record held by Multi-Divisional Champion B.J. Penn with his knockout of Shane Roller at "UFC 132". He again extended this record in his knockout victory over Mac Danzig at "".
Document 14: Travis Fulton: Travis Fulton (born May 29, 1977) is an American mixed martial artist and a professional boxer in the heavyweight division of both sports. Known as a longtime veteran in mixed martial arts, he has competed in over 300 sanctioned bouts and while he is perhaps best known for competing in smaller US-based promotions, he has also competed in the UFC, the WEC, Pancrase, the Chicago Red Bears of the IFL, King of the Cage and RINGS. He also holds the record for the most sanctioned mixed martial arts bouts, with 316.
Document 15: Baboo Da Silva: Mauricio "Baboo" Da Silva (born November 28, 1967) is a Brazilian kyokushin kaikan full contact karate practitioner and former professional kickboxer and mixed martial artist. He is a professional coach and trainer of K-1 and MMA (Mixed Martial Arts), who has trained a number of world class fighters including Francisco Filho (martial artist), Glaube Feitosa, Andrews Nakahara, Ewerton Teixeira, Ray Sefo, Aleksandr Pitchkounov, Takumi Sato, Jan Soukup, Kou Tasei (aka Hong Tae Seong), Jan Nortje, Doug Viney, Mighty Mo (kickboxer) and Akebono Taro. From 1998 to 2004 he worked as the trainer and sparring partner for Francisco Filho. He lived in Tokyo, Japan from 2005 to December 2010 and trained fighters from the IKO1 Kyokushin - Team Ichigeki and other fighters from visiting teams at the Ichigeki Plaza. He fought in the K-1 PREMIUM 2003 Dynamite!! and also in the Ichigeki events in Japan.
ground_truth: heavyweight