Minimize
    obj: 3x1 + 5x2 + 6x3 + 9x4 + 10x5 + 10x6
Subject To
c003:      -5 x1 - 1 x2 + 4 x3 - 2 x4 + 2 x5 - 1 x6 >=  3
Binaries
    x1 x2 x3 x4 x5 x6
End