GurobiはSOSには対応してるけど、indicator constraints には対応してないのか……