Executing minisat+