Translation from MaxSAT into ILP.

Carlos Ansotegui, Joel Gabas:
Solving (Weighted) Partial MaxSAT with ILP. CPAIOR 2013: 403-409

CPLEX version 1261