Not All Equal 3 Satisfiability