could be partly solved by both demilitarizing the air traffic control system and reinvesting the user fees and taxes levied on aviation back into the national air traffic control system. On March 30, 2007, nearly 100 controllers walked out to protest their working conditions. The walkout occurred soon after President Luiz Inácio Lula da Silva left the country for a summit with US president George W. Bush. Lula was reported to have said he felt as if he had been "backstabbed". On July 21, 2007, a short-circuit at a communications relay shut down CINDACTA-4 for over three hours (from 23:15 to 02:30). While this incident was relatively short-lived, its consequences were emblematic of the crisis as a whole: 45% of the following day's flights suffered delays or cancellations. TAM Airlines Flight 3054 On July 17, 2007, a fully loaded TAM Airlines Airbus A320 aircraft ran off a runway at Congonhas-São Paulo International Airport, and crashed into a nearby warehouse, resulting in nearly 200 fatalities. The Brazilian press was quick to add this to a growing list of civil aviation woes, and pressed the government for changes. On September 31, 2009, more than two years after the accident, CENIPA announced the result of official investigations. The report said that one of the thrust levers, which control the airliner's engines, was in a power-on position when it should have been in idle, but it was not proved if there was mechanical or human failure as the cause of the accident. In addition to the positions of the thrust levers, the report listed several factors that may have contributed to the accident, as a high volume of rain on the day, with the formation of puddles on the runway, and the absence of grooving. The report does not blame the length of the runway as a factor in the accident. Administration reaction The administration's reaction began with an internal conflict between the military and civilian leadership on whether to negotiate with the air traffic controllers. Given their military position, they were not entitled to negotiate or press grievances outside their chain of command. The civilian government pressed for a pragmatic approach, while the military, with a view to guarding discipline, took a more hardline view. While the civilian government initially negotiated with the controllers, in June 2007, Lula's government sacked 14 military controllers and arrested 2 others for mutiny. With the public, the