Redirecting to Boolean satisfiability problem