公務員なら任意の医療保険入ってそうだけど
医療保険で給付された分は差し引かなきゃだめだと思うよ。
それでも10万超えてるのかな