메인테이너 권한 요청 · minisat-ml