minisatproover instructions