How to solve an integer programming problem? #Shorts