# proto-file: ortools/sat/cp_model.proto
# proto-message: operations_research.sat.CpModelProto

variables {
  domain: 0
  domain: 1
}
variables {
  domain: 0
  domain: 1
}
variables {
  domain: 0
  domain: 1
}
variables {
  domain: 0
  domain: 1
}
objective {
  vars: 0
  vars: 1
  vars: 2
  vars: 3
  coeffs: -1
  coeffs: 2
  coeffs: 3
  coeffs: -4
}
solution_hint {
  vars: 0
  vars: 1
  vars: 2
  vars: 3
  values: 1
  values: 0
  values: 0
  values: 1
}
