less broken cut generation; monotonicity-enabled solver