🔍
🏠
Wikipedia
🎲
One-in-three 3SAT