結果 : python sat solver library