added minisat to satp