editted info about minisat_maker