結果 : binary system solver