Chvatal , t rdr.