Redirecting to Maximum satisfiability problem