solving ILPs with GLPK