ある店で，くしカツとコロッケとミンチカツを買います．くしカツ７本入りのパックは６本分の値段で，コロッケ５個入りのパックは４個分の値段で買うことができます．できるだけ安く買うと，くしカツ５本，コロッケ６個，ミンチカツ３枚で930円，コロッケ12個…