Moser and Tardos recently gave a constructive proof (to appear in STOC 09). I attended an (outstanding) talk by Robin Moser where he presented the result. I will attempt to reply the talk.
View Document Edit History