update dokumentasi

Penjelasan minisat