experimental MILP version