A common example of an NP problem not known to be in P is the Boolean satisfiability problem.
المثال الشائع لمشكلة NP غير معروفة في P هي مشكلة الإرضاء المنطقية.