Ohcanbohtosat - "maximum satisfiability problem"
Ozuin - "maximum satisfiability problem" - eai gávdnon bohtosat.
Sáhtát oažžut lasi bohtosiid go hábmet iežat ohcama.
- Sáhtát oažžut eanet bohtosiid go sihkut aisttonmearkkaid: maximum satisfiability problem.