Redirecting to 2-satisfiability