Integer programming easily encloses horse