🔍
🏠
Wikipedia
🎲
Maximum 2-satisfiability