update for BILP