add Minisat