結果 : linear equations sat problems