improved BILP