結果 : sat linear functions