Final version of ILP