question: compute unsat core given some courses . concode_field_sep ResourceBundle resources concode_elem_sep ReadOnlyMapProperty<CourseSelection,ResultState> courseSelectionResults concode_elem_sep String langTimeout concode_elem_sep int timeout concode_elem_sep Solver solver concode_field_sep SolverTask<Set<String>> impossibleCoursesTask concode_elem_sep SolverTask<FeasibilityResult> computeFeasibilityTask concode_elem_sep SolverTask<Set<Integer>> unsatCoreGroups concode_elem_sep SolverTask<Set<Integer>> unsatCoreModules concode_elem_sep SolverTask<ReportData> collectReportDataTask concode_elem_sep String getMessage concode_elem_sep String getMessage concode_elem_sep String[] getNames concode_elem_sep void redoLastMoveOperation concode_elem_sep void addCourseResult concode_elem_sep SolverTask<Void> moveSessionTask concode_elem_sep SolverTask<List<Alternative>> localAlternativesTask concode_elem_sep SolverTask<Set<Integer>> unsatCoreAbstractUnits concode_elem_sep void setTimeout concode_elem_sep SolverTask<Set<Integer>> unsatCoreSessions concode_elem_sep void addOnCancelListener concode_elem_sep SolverTask<FeasibilityResult> computePartialFeasibility concode_elem_sep void undoLastMoveOperation concode_elem_sep ReadOnlyMapProperty<CourseSelection,ResultState> courseSelectionResultsProperty concode_elem_sep SolverTask<Boolean> checkFeasibilityTask
target: SolverTask < Set < Integer >> function ( final Course ... arg0 ) { final String [ ] loc0 = getNames ( arg0 ) ; final String loc1 = getMessage ( loc0 ) ; final String loc2 = String . format ( resources . getString ( "srini_string" ) , loc1 ) ; return new SolverTask < > ( loc2 , solver , ( ) -> solver . unsatCore ( loc0 ) , timeout ) ; }