max {
  15*x0 + 10*x1 + 7.c
} subjectTo {
  x0 <= 2.c
  x1 <= 3.c
  x0 + x1 <= 4.c
  -x0 - x1 <= -4.c
}