max sat problems