990 SMT

error: 選択出来ないようになってるよ