Запропонувати виправлення · minisat-ml