Adding kernelization by high degree.
Objective function for ILP formulation.