Use GLPK because need cuts