結果 : linear functions sat problems