#76 修正一些MatrixMap的判斷
#76 KSAT演算法物件完成

附帶順序測試在 UnitMatrix.java 裡