tweak MIP example