3-SAT variation, Any Ideas?

Printable View