Detailed Instructions: In this task, you are given news articles and you need to generate a highlight, i.e., a short summary, with a maximum length of 10 lines.
See one example below:
Problem: (CNN) -- The goals just keep flowing for Lionel Messi, who on Sunday surpassed soccer legend Pele's mark of 75 in a calendar year to help Barcelona bounce back from a rare defeat. The Argentina star netted twice in the 4-2 win at Mallorca that kept the Catalans three points clear in Spain's La Liga, leaving him just nine short of Gerd Muller's all-time record. The 25-year-old, who became a first-time father earlier this month, was able to put a bit more enthusiasm into his new thumb-sucking celebration than when he scored late in the shock midweek Champions League loss to Scottish side Celtic. 'Leo continually breaks records. His goal tally is spectacular,' said Barca manager Tito Vilanova, who has yet to experience a domestic league defeat after his first 11 matches in charge, equaling the best start to a season set by Real Madrid. 'It takes other great players seven or eight seasons to score the amount of goals he scores in one season. Also, some of his goals are absolute beauties.'Read blog: Is loyalty Barca's biggest strength? Messi has now scored 64 goals for his club and 12 for his country this year, from just 59 matches overall. Pele managed 75 from 53 as a 17-year-old in 1958, helping Brazil to win the World Cup for the first of a record five times. Muller, a World Cup winner in 1974, surpassed Pele's record in a year that West Germany won the European Championship. Messi has yet to win a senior title with Argentina, though he won Olympic gold with the under-23 side in 2008. He has nine matches left this year to catch Muller -- six in La Liga, two in the Champions League and one in the Spanish Cup. His two goals against Malaga gave him 15 in the league this season, three clear of his big rival Cristiano Ronaldo -- who scored the opener in Real Madrid's 2-1 win on a waterlogged pitch at Levante in Sunday's late match. Ronaldo, switched to a central attacking role with Karim Benzema and Gonzalo Higuain out injured, suffered an early blow above the eye and was taken off at halftime. The Portugal captain is now Real's seventh highest league scorer with 124 goals since his arrival from Manchester United in 2009 in a world-record $130 million transfer. Levante leveled in the second half through Angel Rodriguez, but 20-year-old Alvaro Morata headed an 84th-minute winner with his first touch of the ball on his debut to keep Jose Mourinho's third-placed defending champions eight points behind Barcelona. Real inflicted Levante's first home defeat this season, hitting the crossbar twice and missing a penalty by Xabi Alonso, whose late freekick set up substitute Morata's winner. Atletico Madrid retained second place after beating Getafe 2-0. Adrian Lopez scored a first-half opener after his initial attempt was saved, while Arda Turan's second-half effort was allowed to stand despite a clear handball in the buildup. In Italy, Inter Milan failed to reduce Juventus' four-point lead after suffering a surprise 3-2 defeat at Atalanta. Veteran striker German Denis netted in the 60th and 67th minutes to put the home side 3-1 ahead, while Inter reduced the deficit through his fellow Argentine Rodrigo Palacio before Atalanta substitute Facundo Parra was sent off in time added on. Napoli stayed third with a 4-2 win at Genoa, while fourth-placed Fiorentina won 3-1 away to troubled 2010-11 Serie A champions AC Milan. Milan's sixth defeat in 12 league games left last season's runners-up in 13th place, with coach Massimiliano Allegri's future increasingly in doubt. Lazio consolidated fifth place with a 3-2 win in the capital derby against Roma, as both teams had a player sent off. In Germany, Bayer Leverkusen missed the chance to go above fourth-placed champions Borussia Dortmund after losing 3-1 to third-bottom Wolfsburg. Leverkusen stayed a point above Hanover, who won 4-2 at Stuttgart.
Solution: Lionel Messi scores twice as Barcelona beat Mallorca 4-2 on Sunday .Argentine forward moves past Pele's landmark 75 goals in a calendar year .He now has nine more matches to beat the record set by Gerd Muller in 1972 .Messi's rival Cristiano Ronaldo suffers eye injury in Real Madrid victory .
Explanation: The given output correctly summarizes the football match given in the article.

Problem: (CNN) -- One of the most highly anticipated apps for Apple devices was made available on Wednesday. At least, until it wasn't. Google announced a Gmail app for the iPhone, iPad and iPod Touch that was designed to make it easier for the service's more than 190 million users to navigate their mail. "We check email pretty much everywhere these days," Google content manager Matthew Izatt wrote on the Gmail blog. "And when we do, we want easy access to our important messages so we can respond quickly and get back to life -- or slinging birds at thieving green pigs." Users of Apple's operating system could already access Gmail through a mobile site or set it up as their default e-mail account. But the new app promised a smoother experience with a host of new features. The tech blogosphere was delighted. "Go get the iPhone app for Gmail!" popular blogger Robert Scoble wrote on his Google+ page. Then, a few minutes passed. "UPDATE: DO NOT. The Gmail app is really a piece of crud," he wrote. "Not worth loading. Very disappointed." Google had obviously already noticed what Scoble did. Shortly after it was unveiled, the app was pulled from the Apple Store. "The iOS app we launched today contained a bug with notifications," Google posted on its Gmail Twitter account. "We have pulled the app to fix the problem. Sorry we messed up." Later, a fuller explanation was added to the original blog post. "Earlier today we launched a new Gmail app for iOS," Google posted. "Unfortunately, it contained a bug which broke notifications and caused users to see an error message when first opening the app. We've removed the app while we correct the problem, and we're working to bring you a new version soon. Everyone who's already installed the app can continue to use it." The app ... at least the fully working version of it ... will send push notifications and sound cues when new messages are received, search your inbox for an e-mail, autocomplete e-mail addresses and upload photos to messages. It will also feature the same Priority Inbox that Gmail's Web version has and add a new mobile interface that will allow users to navigate their inbox more quickly with touch controls. There was no word from Google Wednesday afternoon as to when the fixed app might be back up.
Solution:
Gmail mobile app is released, then pulled, from Apple's online store .
The app was made available for the iPhone, iPad and iPod Touch .
Google said bugs broke the app's notification system and caused error messages .
No word on when fixed Gmail app will be released .